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

paper at PWL conf (#552)

Browse Source 
* paper at PWL conf

paper at PWL conf  https://pwlconf.org/2019/shriram-krishnamurthi

* scroll emoji removed
This commit is contained in:
Stephen De Gabrielle 2019-07-11 21:20:12 +01:00 committed by Sean Broderick
parent 3dd27b0ba4
commit 27e3f28b9e
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
languages/README.md Normal file
View File

@ -0,0 +1,16 @@
# Programming Language Theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
## 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
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
of expressiveness and investigate its properties. To demonstrate the theory's
closeness to published intuitions on expressiveness, we analyze the expressive
power of several extensions of functional languages. Based on these results,
we believe that our system correctly captures many of the informal ideas on
expressiveness, and that it constitutes a good basis for further research in this
direction. " (abstract)