Linear ML (1992)

by J Chirimar, C A Gunter, J G Riecke
Venue:In Symposium on Lisp and Functional Programming, ACM