1. Alfred V. Aho , Ravi Sethi , and Jeffrey D . Ullman . 1986 . Compilers : Principles, Techniques, and Tools. Addison-Wesley . isbn:0-201-10088-6 https://www.worldcat.org/oclc/12285707 Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley. isbn:0-201-10088-6 https://www.worldcat.org/oclc/12285707
2. The Essence of Dependent Object Types
3. G. M. Bierman , M. J. Parkinson , and A. M. Pitts . 2003 . MJ: An imperative core calculus for Java and Java with effects . University of Cambridge . G. M. Bierman, M. J. Parkinson, and A. M. Pitts. 2003. MJ: An imperative core calculus for Java and Java with effects. University of Cambridge.
4. Derivatives of Regular Expressions
5. Correct-by-Construction Typechecking with Scope Graphs