A Semantics for Higher-Order Functors.

David B. MacQueen, Mads Tofte

Browse the full ESOP paper archive.