D.: Uniqueness typing redefined (2006)

by Edsko De Vries , Rinus Plasmeijer , David Abrahamson
Venue:In: Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages
Citations:3 - 2 self