Denotational Foundations of Functional Programming
Spring 2005

Organizers:	Lars Birkedal, birkedal@itu.dk, Room 4C 15, 7218 5280
	Rasmus Mogelberg, mogel@itu.dk, Room 4C 14, 7218 5282

This is a Ph.D. course in which we study the denotational foundations of functional programming.

Readings will include (excerpts from some of):

• [1] Denotational Foundations of Functional Programming by Thomas Streicher.
• [2] Relational Properties of Domains by Andrew M. Pitts
• [3] Material on powerdomains.

To gain credit for this 7.5 ECTS course you have to take responsibility for at least one lecture and participate actively in the discussions.

Extra Material:

• D. Scott: A type-theoretical alternative to ISWIM, CUCH, OWHY
• A Jung, J. Tiuryn: A New Characterization of Lambda Definability
• P. W. O'Hearn, J. G. Riecke: Kripke Logical Relations and PCF
• Jiri Adamek: Introduction to coalgebra. Notes from CTCS summer school 2002.

Meeting time: Thursdays, 13:00 - 15:00, Room 3A12.

Course period: March 01, 2005 - June 01, 2005.

Obligatory exercises:

• First: Prove Lemma 2.2 in [1]
• Second. Deadline: 21/04/2005

Participants:

• Lars Birkedal (LB)
• Rasmus Mogelberg (REM)
• Thomas Hildebrandt (TH)
• Rasmus Lerchedahl Petersen (RLP)
• Bodil Biering (BB)
• Soren Debois (SD)
• Mikkel Bundgaard (MB)
• Troels C. Damgaard (TCD)
• Carsten Varming (CV)
• Morten Fjord Larsen (MFL)
• Eva Rotenberg (ER)
• Jesper Louis Andersen (JLA)

Schedule:

Date			Speaker	Reading
Thurs	Mar	3	REM	Intro, sec 1 in [1]
Thurs	Mar	10	REM	Sec. 2 in [1]
Thurs	Mar	17	TCD	Sec 3,4 in [1]
Thurs	Mar	31	SD	Sec 5-6 in [1]
Thurs	Apr	7	CV	Sec 7 in [1]
Thurs	Apr	14	MB	Sec 8 in [1]
Thurs	Apr	21	JLA	Sec. 9 in [1]
Thurs	Apr	28	RLP	Sec. 10-11 in [1]
Thurs	May	12	MFL	Sec. 12 in [1]
Thurs	May	26	ER	[2]
Thurs	June	9	REM	[2] continued