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

rename PLT => languages-theory

Browse Source
pull/561/head
ZJ 5 years ago
parent dfce9ec253
commit ddb45cf8bd
No known key found for this signature in database
GPG Key ID: 5FBC4EFA03B99124
11 changed files with 0 additions and 0 deletions
Show Stats Download Patch File Download Diff File

0
plt/README.md → languages-theory/README.md
Unescape View File

0
plt/composable-and-compilable-macros-you-want-it-when.pdf → languages-theory/composable-and-compilable-macros-you-want-it-when.pdf
Unescape View File

0
plt/fundamental-concepts-in-programming-languages.pdf → languages-theory/fundamental-concepts-in-programming-languages.pdf
Unescape View File

0
plt/on-understanding-types-data-abstraction-polymorphism.pdf → languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf
Unescape View File

0
plt/predicate-dispatching.pdf → languages-theory/predicate-dispatching.pdf
Unescape View File

0
plt/principal-type-schemes-for-functional-programs.pdf → languages-theory/principal-type-schemes-for-functional-programs.pdf
Unescape View File

0
plt/programming-languages-application-and-interpretation.pdf → languages-theory/programming-languages-application-and-interpretation.pdf
Unescape View File

0
plt/programming-with-algebraic-effects-and-handlers.pdf → languages-theory/programming-with-algebraic-effects-and-handlers.pdf
Unescape View File

0
plt/propositions-as-types.pdf → languages-theory/propositions-as-types.pdf
Unescape View File

0
plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf → languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf
Unescape View File

0
plt/theory-in-programming-practice.pdf → languages-theory/theory-in-programming-practice.pdf
Unescape View File

Write Preview
Loading…
Cancel
Save