A Functional Abstraction of Typed Contexts (1989)

by Olivier Danvy, Andrzej Filinski