A functional abstraction of typed contexts (1989)

by O Danvy, A Filinski
Venue:DIKU, University of Copenhagen