You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
swarnatonse aa2abaef3d
Fix broken haskell paper link (#752)
10 months ago
..
C change source for Ritchie C Language paper (per github/josh-59) 4 years ago
C++ remove pdfs, normalize readme format [fix PR#540] 4 years ago
Go remove pdfs, normalize readme format [fix PR#540] 4 years ago
Java remove pdfs, normalize readme format [fix PR#540] 4 years ago
Ruby add specializing ruby paper (#700) 1 year ago
clojure Update README.md 7 years ago
domain-specific-languages Add the Sketch-n-Sketch paper (#412) 8 years ago
erlang restore link to "The History of Erlang" 2 years ago
haskell Fix broken haskell paper link (#752) 10 months ago
smalltalk Move languages into languages dir. Move 'tdd' dir into testing (#403) 8 years ago
README.md Rename "paradigm" and "plt" folders for findability (#561) 5 years ago
scp91-felleisen.ps.gz On the Expressive Power of Programming Languages (#553) 5 years ago

README.md

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 sciencedirect(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)