#1257 overall
CMSC 336 Type Systems
University of Chicago
1 recommender · 1 thread · recommended in 1 year, 2014 · score 0.7
A University of Chicago graduate course (CMSC 336, Winter 2008) on type systems for programming languages, built around Robert Harper's Practical Foundations for Programming Languages and Benjamin Pierce's Types and Programming Languages, with lecture notes, readings, and homework with solutions.
A commenter plans to self-study type theory with it and notes that its per-session readings and solved homework make it straightforward to follow alone.
Programming Languagesadvancedfreeself-paced text#type theory#type systems#programming languages#pfpl#harper#pierce
Recommendations by year
20062026
This isn't quite about OCaml or Haskell, but might be relevant.
I've been looking around for a good way to learn type theory via self-study, and my current plan is to go through these courses on my own:
1) http://www.cs.cmu.edu/~rwh/courses/typesys/ 2) http://ttic.uchicago.edu/~pl/classes/CMSC336-Winter08/
1 uses Robert Harper's Practical Foundations for Programming Languages (and was taught by him) and 2 uses PFPL plus Benjamin Pierce's Types and Programming Languages. Both courses have lecture notes and readings for each session as well as homework assignments with solutions which ought to make them straightforward to go through on your own.
There's also these Type/Category/Proof Theory Foundations videos (with Robert Harper as well): https://www.youtube.com/playlist?list=PL8Ky8lYL8-Oh7awp0sqa8...
I found these by doing some Googling and evaluating various forums/Stack Exchange posts; if anyone has any better suggestions I would love to hear them. (I haven't done SICP in depth and now, of course, I'm considering putting this plan on hold and doing SICP instead...)