2001
Stc
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