Course materials using "Types and Programming Languages"
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!
[ I can also add links to the TAPL home page. -BCP ]