From fe1de5cc50a1f2cddc919ee77a9de90a8b60dbcd Mon Sep 17 00:00:00 2001 From: Stephen De Gabrielle Date: Thu, 11 Jul 2019 21:26:58 +0100 Subject: [PATCH] Update README.md --- languages/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages/README.md b/languages/README.md index dfba6ed..244e31b 100644 --- a/languages/README.md +++ b/languages/README.md @@ -4,7 +4,7 @@ Programming language theory (PLT) is a branch of computer science that deals wit ## Included Papers -* [On the Expressive Power of Programming Languages](https://www.sciencedirect.com/science/article/pii/016764239190036W) (Matthias Felleisen): "The literature on programming languages contains an abundance of informal +* [On the Expressive Power of Programming Languages](scp91-felleisen.pdf) (Matthias Felleisen): "The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion