Home
Schedule
Abstract Template
Masters Attendance
2001

Stc
12th of December 2001
<br>Dave Clarke: Privacy or piracy: enforcing object encapsulation with ownership types

14th of November 2001
<br>Ade Azurat: xMECH

31st of October 2001
<br>Atze Dijkstra: WebObjects.<br>Demonstration and informal explanation.

17th of October 2001
<br>Daan Leijen: The Lazy Virtual Machine followed by Mark Shields: First-class Modules for Haskell.

3rd of October 2001
<br>Arjan IJzendoorn/Rijk-Jan van Haaften<br>Title: Introducing HaskellLight

19th of September 2001
<br> two talks, one by Ralf Hinze The second talk is by Jurriaan Hage.

7th of June 2001
<br>Martijn Schrage -- Xprez, a declarative presentation language for XML

10th of May 2001
<br>Daan Leijen -- Parsec, a monadic parser library for Haskell

29th of March 2001
<br> Dr. Ir. W.J. Toetenel -- Fairness in parametric real-time model-checking, a first experiment

15th of March 2001
<br>Ralf Hinze -- A Simple Implementation Technique for Priority Search Queues

1st of March 2001
<br>Wishnu Prasetya -- Embedding
   
26th of February 2001
<br>Robert Gluck -- Inverse Computation in a Functional Language