A Semantics for Higher-order Functors, unpublished draft (0)

by David B MacQueen, Mads Tofte
Venue:Contact Dave MacQueen at AT&T Bell Labs, Room 2a-431, 600 Mountain Ave