Update README.md

pull/553/head
Stephen De Gabrielle 5 years ago committed by GitHub
parent eae9324479
commit f48582db92
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -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

Loading…
Cancel
Save