A syntactic theory of type generativity and sharing (1996)

by Xavier Leroy
Venue:Journal of Functional Programming