Uniqueness Typing Simplified

Abstract

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

Topics

5 Figures and Tables

Statistics

0102030201520162017
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} }