Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
2002
Stc
30th of October 2002 <br>Dave Clarke: Ownership, Encapsulation and the Disjointness of Type and Effect 2nd of October 2002 <br>Tobias Wrigstad from Stockholm University: External Uniqueness. 1st of August 2002 <br>Gordon Cichon: Efficient Center.SoftwareDistributions Development for high-performance, low-power DSPs 12th of June 2002 <br>Bastiaan Heeren: Correctness Of Bottom-Up Type Inference Rules With Constraints On Types 1st of May 2002 <br>Arthur Baars about permutation parsers (2nd practice talk for the Onderzoeksdag). 17th of April 2002 <br>Arthur Baars about permutation parsers (practice talk for the Onderzoeksdag). 23rd of January 2002 <br>Frank Atanassow Intensional Type Semantics.