Course Pages
- Education Page
- Description
- Schedule
- Projects
- Software
- Examination
- Interesting Links

Center
Master Program

Uniqueness Typing

TS0506

      1 The programming language [[http://www.cs.kun.nl/~clean/][Clean]] has so-called *uniqueness types*. Extend the type checker from the IPT course so it can handle 
         this extension.
-- Main.DoaitseSwierstra - 21 Apr 2004