Meeting: K hour (14:30-16:00), CIT 506

Professor: Shriram Krishnamurthi

Text: Types and Programming Languages, Benjamin C. Pierce

Reading schedule:

• Sections 26: Don, 4/23
• Sections 30: Sharon, 4/18
• Leroy on types for modules: Eliot, 4/16
• Sections 29: Tudor, 4/4
• Sections 24: Alex, 4/2
• Sections 23: Dimitry, 3/21
• Sections 22: Eliot, 3/19
• Sections 20-21: Dave, 3/7, 3/12, 3/14
• Sections 15-16: Greg, 2/28, 3/5
• Sections 12-14: Rob, 2/21
• Section 9.4: Curran, 2/14
• Sections 8-9.3, 9.5-11: Yanif, 2/5, 2/7, 2/12
• Sections 1-7: Morgan, 1/29

Variations:

• 5/7: IBM Watson PL Day
• 4/30: Pascal Van Hentenryck
• 4/25: IPP Day
• 2/26: Matthew Flatt, Jiazzi

Paper to implement: Adding Apples to Oranges, Erwig and Burnett (see talk slides, too)

To get the latest version of MysterX, use the Windows pre-release binaries (and follow the instructions on that page).

Programming groups:

• dg, erhorowi, rob
• dpb, mnachbar, alexr
• yna, taj, sgwater

Cactus, Mission San José, San Antonio, TX © 1997 sk