SPAM FALL 1998 SCHEDULE

Sept 14

Martin Sulzmann Program Checking and Indexed Data Structures

Sept 21

Chris League and Zhong Shao Implementing Typed Intermediate Languages and Typed Cross-Module Compilation

Sept 28

No meeting: ICFP

Oct 5

available

Oct 12

Daan Leijan Haskell and COM

Oct 19

No SPAM

Oct 26

Chris Okasaki Edison: A Library of Efficient Data Structures

Nov 2

No talk

Nov 9

Greg Hager How To Get What You See: Software Tools For Vision-Based Systems

Nov 16

Kim Bruce LOOM: An advanced type system for object-oriented programming

Nov 23

available

Nov 30

available