MacQueeu and Mads Tofte. A semantics for higher-order functors (1994)

by B David
Venue:Programming languages and systems – ESOP ’94