A semantics for higher-order functors (1994)

by David B MacQueen, Mads Tofte
Venue:European Symposium on Programming (ESOP