2002
Stc
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.