Type systems, linearity and functional languages. CLICS Workshop (1992)

by G Bierman