We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e50547d commit ba33dbaCopy full SHA for ba33dba
README.md
@@ -98,7 +98,7 @@
98
99
### Papers
100
101
-- [10 papers that all PhD students in programming languages ought to know](https://github.com/nuprl/10PL)
+- [📜 10 papers that all PhD students in programming languages ought to know](https://github.com/nuprl/10PL)
102
- [📜 A syntactic approach to type soundness](https://web.eecs.umich.edu/~weimerw/2008-615/reading/wright92syntactic.pdf)
103
- [📜 A Theory of Type Polymorphism in Programming](https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/milner-type-polymorphism.pdf)
104
- [📜 Abstracting Gradual Typing](https://www.cs.ubc.ca/~rxg/agt.pdf)
0 commit comments