A Functional Abstraction of Typed Contexts (1989)
by
Olivier Danvy
,
Andrzej Filinski
| Citations: | 58 - 8 self |
Document Versions
| A Functional Abstraction of Typed Contexts –Olivier Danvy, Andrzej Filinski — 1989 |
