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-09-28 14:30:47 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #320 from papers-we-love/add-classic-wadler-paper

Browse Source 
add prop as logic wadler paper, also for nyc pwl aug/2015
This commit is contained in:
Zeeshan Lakhani 2015-08-03 11:32:22 -04:00
commit 0bccd5da60
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
plt/README.md
View File

@ -9,3 +9,5 @@
* [Soft Typing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf)
* :scroll: [Composable and Compilable Macros: You Want it When?](https://www.cs.utah.edu/plt/publications/macromod.pdf)
* :scroll: [Propositions as Types](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)

BIN
plt/propositions-as-types.pdf Normal file
View File

Binary file not shown.