Archives
/
papers-we-love_papers-we-love
mirror of https://github.com/papers-we-love/papers-we-love
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'edad1cef6c'
${ noResults }
papers-we-love_papers-we-love/plt/README.md

12 lines
697 B
Raw Normal View History Unescape

init #clojurewest papers to research
10 years ago
# Programming Language Theory
readme titles and readme URL approach
10 years ago
* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf)
Add new algebraic effects paper
10 years ago
* [Programming and Reasoning with Algebraic Effects and Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)
adds Sammet PL history paper
10 years ago
* [Programming Languages: History and Future](http://www.csee.umbc.edu/courses/undergraduate/CMSC331/resources/papers/sammet1972.pdf)
Soft typing by Robert Cartwright and Mike Fagan This paper from 1991 introduces an approach for runtime type checking and type coercion. It is relevant because this approach is being considered for addition into Ruby 3.0. This paper will be discussed at PWL Berlin.
10 years ago
* [Soft Typing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf)
add paper for sam tbon-hochstadt to readme too
9 years ago
* :scroll: [Composable and Compilable Macros: You Want it When?](https://www.cs.utah.edu/plt/publications/macromod.pdf)