From f48582db9297a0d88fb7f9906c2c94573aa5e395 Mon Sep 17 00:00:00 2001 From: Stephen De Gabrielle Date: Thu, 11 Jul 2019 22:25:51 +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 244e31b..ec21705 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](scp91-felleisen.pdf) (Matthias Felleisen): "The literature on programming languages contains an abundance of informal +* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(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