Uniqueness typing simplified (2008)

by E de Vries, R Plasmeijer, D M Abrahamson
Venue:In IFL’07