Principal signatures for high-order ML functors (1992)

by Mads Tofte
Venue:In Nineteenth Annual ACM Symp. on Principles of Prog. Languages