A semantics for higher-order functors (1994)

by D B MacQueen, M Tofte
Venue:In In European Symposium on Programming