From 08ac134afdf7a392abf60808ec74cd24d88b150d Mon Sep 17 00:00:00 2001 From: Stephen De Gabrielle Date: Thu, 11 Jul 2019 15:55:08 +0100 Subject: [PATCH] paper at PWL conf paper at PWL conf https://pwlconf.org/2019/shriram-krishnamurthi --- languages/README.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 languages/README.md diff --git a/languages/README.md b/languages/README.md new file mode 100644 index 0000000..bb76a05 --- /dev/null +++ b/languages/README.md @@ -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 + +* :scroll: [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)