Back to Results
First PageMeta Content
Type theory / Software engineering / Theoretical computer science / Mathematical logic / Lambda calculus / System F / Type system / Uniqueness type / Functional programming / Polymorphism / Clean


Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries
Add to Reading List

Document Date: 2016-08-02 06:27:04


Open Document

File Size: 2,00 MB

Share Result on Facebook