A Functional Abstraction of Typed Contexts (1989)

Cached

Download Links

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

Document Versions

A Functional Abstraction of Typed Contexts –Olivier Danvy, Andrzej Filinski — 1989