A syntactic theory of type generativity and sharing (1996)

by Xavier Leroy
Venue:in Proc. 1994 Workshop on ML and its applications, research report 2265, INRIA