Course materials using "Types and Programming Languages"

• To: types@cis.upenn.edu
• Subject: Course materials using "Types and Programming Languages"
• From: James Riely <jriely@cs.depaul.edu>
• Date: Sun, 30 Mar 2003 12:17:19 -0600

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 ]

• Prev: NASSLLI 2003. Registration is open now.
• Next: Re: Course materials using "Types and Programming Languages"
• Index(es):
  • Main
  • Thread