Danvy and Andrzej Filinski. A functional abstraction of typed contexts (1989)

by Olivier