From c0f11bf46e02b8f3d433264fd634a76205aac3fe Mon Sep 17 00:00:00 2001 From: Samuel Bronson Date: Sat, 5 Aug 2023 17:08:38 -0400 Subject: [PATCH] =?UTF-8?q?Update=20README.md:=20new=20link=20for=20Data?= =?UTF-8?q?=20types=20=C3=A0=20la=20carte?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The old one stopped working :-( --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7798025d6d..434568508f 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,7 @@ Throughout its lifecycle, `semantic` has leveraged a number of interesting algor - Myers' algorithm (SES) as described in the paper [*An O(ND) Difference Algorithm and Its Variations*][SES] - RWS as described in the paper [*RWS-Diff: Flexible and Efficient Change Detection in Hierarchical Data*][RWS]. -- Open unions and [data types à la carte](http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf). +- Open unions and [data types à la carte](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409). - An implementation of [Abstracting Definitional Interpreters][adi] extended to work with an à la carte representation of syntax terms. [SES]: http://www.xmailserver.org/diff2.pdf