Uniqueness Typing Simplified


We present a uniqueness type system that is simpler than both Clean’s uniqueness system and a system we proposed previously. The new type system is straightforward to implement and add to existing compilers, and can easily be extended with advanced features such as higher rank types and impredicativity. We describe our implementation in Morrow, an… (More)
DOI: 10.1007/978-3-540-85373-2_12


5 Figures and Tables


Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Vries2007UniquenessTS, title={Uniqueness Typing Simplified}, author={Edsko de Vries and Marinus J. Plasmeijer and David M. Abrahamson}, booktitle={IFL}, year={2007} }