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
38b446fb56
papers-we-love_papers-we-love/languages
History
Mayur Patil (मयूर पाटील) 814d97e610
Distributed File Systems, Search Engine Original Papers (#540) 
* Added base paper

* Create README.md

* Add files via upload

* Update README.md

* Create README.md

* Add files via upload

* From where it all started - Sun NFS

* Updated links of papers

* Does not fit in this category

* Create README.md

* Add files via upload

* Create README.md

* Create README.md

* Add files via upload

* Add files via upload

* Create README.md

* Add files via upload

* Update README.md

* Update README.md

* Update README.md

* Update README.md

* Already exists.

* Reviewed for PR

* Original link updated

* Update README.md

* Update README.md

* Update README.md

* Absolute links updated
2020-03-29 15:38:47 -04:00
..
C Distributed File Systems, Search Engine Original Papers (#540) 2020-03-29 15:38:47 -04:00
C++ Distributed File Systems, Search Engine Original Papers (#540) 2020-03-29 15:38:47 -04:00
clojure Update README.md 2017-09-05 15:25:28 -04:00
domain-specific-languages Add the Sketch-n-Sketch paper (#412) 2016-08-29 20:56:18 -07:00
erlang Add two Erlang papers covering core VM subjects (#476) 2017-08-17 12:11:35 -04:00
Go Distributed File Systems, Search Engine Original Papers (#540) 2020-03-29 15:38:47 -04:00
haskell adds Composing Fractals to Haskell (#488) 2017-10-24 06:55:18 -04:00
Java Distributed File Systems, Search Engine Original Papers (#540) 2020-03-29 15:38:47 -04:00
smalltalk Move languages into languages dir. Move 'tdd' dir into testing (#403) 2016-07-10 23:04:17 -04:00
README.md Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
scp91-felleisen.ps.gz On the Expressive Power of Programming Languages (#553) 2019-07-13 17:20:54 -04:00

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)