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 ]