Uniqueness type inference (1995)

by E Barendsen, S Smetsers
Venue:in: Proceedings PLILP’95, Vol. 982 of LNCS