[PL-sem-jr] Schedule

[Richard Cobbe]

PL Seminar, Jr.
Thursday, Feb 10, 2005
9:30-11:30 am
WVH 166
======================
Dale will discuss TWELF and higher-order abstract syntax.

Next week: Carl and I will explore the design constraints and tradeoffs
of an ML-like module system.

Richard