A functional abstraction of typed contexts (1989)

by Olivier Danvy, Andrzej Filinski