Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2025-05-31 22:44:40 +00:00
Code Issues Projects Releases Wiki Activity

[languages-theory] add liquid types (#809)

Browse Source
This commit is contained in:
Nathan Taylor 2024-11-08 12:55:54 -06:00 committed by GitHub
parent 23d6c5af29
commit f4c065cce0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
languages-theory/README.md
View File

@ -12,6 +12,8 @@
* :scroll: [Propositions as Types](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)
* :scroll: [Liquid Types](https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf)
* :scroll: [Fundamental Concepts in Programming Languages](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/fundamental-concepts-in-programming-languages.pdf)
* :scroll: [On Understanding Types,

BIN
languages-theory/liquid_types.pdf Normal file
View File

Binary file not shown.