Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity

On the Expressive Power of Programming Languages (#553)

Browse Source 
* Update README.md
This commit is contained in:
Stephen De Gabrielle 2019-07-13 22:20:54 +01:00 committed by Darren
parent 27e3f28b9e
commit ca04e2da74
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
languages/README.md
View File

@ -4,7 +4,7 @@ Programming language theory (PLT) is a branch of computer science that deals wit
## Included Papers ## 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 * :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 claims on the relative expressive power of programming languages, but there
is no framework for formalizing such statements nor for deriving interesting is no framework for formalizing such statements nor for deriving interesting
consequences. As a first step in this direction, we develop a formal notion consequences. As a first step in this direction, we develop a formal notion

BIN
languages/scp91-felleisen.ps.gz Normal file
View File

Binary file not shown.