A semantics for higher order functors (1994)

by D MacQueen, M Tofte
Venue:In The 5th European Symposium on Programming