30th of October 2002
Dave Clarke: Ownership, Encapsulation and the Disjointness of Type and Effect
2nd of October 2002
Tobias Wrigstad from Stockholm University: External Uniqueness.
1st of August 2002
Gordon Cichon: Efficient SoftwareDistributions
Development for high-performance, low-power DSPs
12th of June 2002
Bastiaan Heeren: Correctness Of Bottom-Up Type Inference Rules With Constraints On Types
1st of May 2002
Arthur Baars about permutation parsers (2nd practice talk for the Onderzoeksdag).
17th of April 2002
Arthur Baars about permutation parsers (practice talk for the Onderzoeksdag).
23rd of January 2002
Frank Atanassow Intensional Type Semantics.