Re: Course materials using "Types and Programming Languages"
To: James Riely <firstname.lastname@example.org>
Subject: Re: Course materials using "Types and Programming Languages"
From: Jason Hickey <email@example.com>
Date: Thu, 03 Apr 2003 14:30:44 -0800
References: <firstname.lastname@example.org> <200303301831.h2UIVsn6010287@saul.cis.upenn.edu>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.3b) Gecko/20030210
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!
> [ 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