[lambdaheads]Readings

[Programming][Languages]

DatePersonTopic
10/31dpbmacros
10/31errun-time systems and memory management

11/7robexpressiveness, or, escaping the Turing tarpit

11/14gregcalculi vs. machines: the showdown!
11/14arisintroductory denotational semantics

11/21gregtypes and modules
11/21robmonads and functional programming

11/28gregsyntactic approach to type soundness
11/28arisproblems with denotations

12/5robaspect-oriented programming
12/5arisdomain theory for denotations