A Functional Abstraction of Typed Contexts (1989)

by Olivier Danvy , Andrzej Filinski
Citations:70 - 8 self