A Functional Abstraction of Typed Contexts (1989)

Cached

Download Links

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