Re: Course materials using "Types and Programming Languages"

To: James Riely <jriely@cs.depaul.edu>
Subject: Re: Course materials using "Types and Programming Languages"
From: Jason Hickey <jyh@cs.caltech.edu>
Date: Thu, 03 Apr 2003 14:30:44 -0800
Cc: types@cis.upenn.edu
In-Reply-To: <200303301831.h2UIVsn6010287@saul.cis.upenn.edu>
Organization: Caltech
References: <types@tagger.yapper.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

http://www.cs.caltech.edu/~jyh/classes/cs101/index.html

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.

Jason

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