Type systems, linearity and functional languages (1992)

by Gavin M Bierman
Venue:Aarhus University