Teaching with OCaml

Course Material

• "Data Structures and Functional Programming" (CS 3110, 2012) at Cornell University (Course info and material)
• "Advanced Programming Languages" (CS 6371, 2012) at UT Dallas (Course info and material )
• "Concepts of Programming Languages" (CSE 505, 2012) at Univ. Washington (Course info and material )
• "Principles of Programming Languages" (2011) at Univ. Brimingham (Course info and material )
• "Principles of Programming Languages" (COSC 4780, 2012) at Univ. Wyoming (Course info and material )
• "Program Analysis and Understanding" (CNSC 631, 2011) at Univ. Maryland (Course info and material )
• "Programming Languages and Techniques" (CIS 120, 2012) at Univ. Pennsylvania(Course info and material )
• "Theory of Programming Languages" (CS 251, 2012) Wellesley College (Course info and material )
• "Compilers " (CIS 341. 2012) at Univ. Pennsylvania (Course info and material )
• "Introduction to Computer Science" (CSCI E-250, 2012) at Harvard (Course info and material )
• "Principles of Programming Language Compilation" (CS 153, 2011) at Harvard (Course info and material )
• "Programming Language Concepts" (CS 421, 2011) at Univ. Wisconsin (Course info and material )