From e3b443ba64f633041ef535d009a1f350fa80d8b9 Mon Sep 17 00:00:00 2001 From: Ben Aiad Date: Wed, 22 Sep 2021 12:05:26 -0400 Subject: [PATCH] =?UTF-8?q?Fix=20no=20longer=20active=20link=20to=20John?= =?UTF-8?q?=20Backus=E2=80=99=20Turning=20Award=20paper=20(#626)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- languages-theory/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages-theory/README.md b/languages-theory/README.md index b0488e4..680fe02 100644 --- a/languages-theory/README.md +++ b/languages-theory/README.md @@ -1,6 +1,6 @@ # Programming Language Theory -* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf) +* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](https://dl.acm.org/doi/pdf/10.1145/359576.359579) * [:scroll:](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/programming-with-algebraic-effects-and-handlers.pdf) [Programming and Reasoning with Algebraic Effects and Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)