12th of December 2001
Dave Clarke: Privacy or piracy: enforcing object encapsulation with ownership types
14th of November 2001
Ade Azurat: xMECH
31st of October 2001
Atze Dijkstra: WebObjects?
Demonstration and informal explanation.
17th of October 2001
Daan Leijen: The Lazy Virtual Machine followed by Mark Shields: First-class Modules for Haskell.
3rd of October 2001
Arjan IJzendoorn/Rijk-Jan van Haaften
Title: Introducing HaskellLight?
19th of September 2001
two talks, one by Ralf Hinze The second talk is by Jurriaan Hage.
7th of June 2001
Martijn Schrage -- Xprez, a declarative presentation language for XML
10th of May 2001
Daan Leijen -- Parsec, a monadic parser library for Haskell
29th of March 2001
Dr. Ir. W.J. Toetenel -- Fairness in parametric real-time model-checking, a first experiment
15th of March 2001
Ralf Hinze -- A Simple Implementation Technique for Priority Search Queues
1st of March 2001
Wishnu Prasetya -- Embedding
26th of February 2001
Robert Gluck -- Inverse Computation in a Functional Language