Once upon a type (1995)

by D N Turner, P Wadler, C Mossin
Venue:In Proceedings of the seventh international conference on Functional programming languages and computer architecture