Re: Course materials using "Types and Programming Languages"

I've taught a course using Pierce's book, an excellent book indeed. 
Lecture notes and homeworks are online at


This was an introductory undergraduate/graduate level course.  One note: 
you'll see a moderate bias toward interpreting type systems using 
intuitionistic logic.  Let me know if you find it helpful or need 
clarification on any of the course material.


James Riely wrote:
> [----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
> I am teaching an introductory semantics course concentrating on
> operational semantics and type systems using "Types and Programming
> Languages" by Pierce, and I am prowling for course materials.  I am
> aware of Pierce's notes for CIS500 at http://www.seas.upenn.edu/~cis500/
> If you have developed materials for any class that uses the book and
> would not mind to share, please drop me a line.  I will post a summary
> if I get any responses!
> Cheers,
> James.
> [ I can also add links to the TAPL home page.  -BCP ]

Jason Hickey                  http://www.cs.caltech.edu/~jyh
Caltech Computer Science      Tel: 626-395-6568 FAX: 626-792-4257