Continuation Semantics in Typed Lambda-Calculi (1985)
by
Albert R. Meyer
,
Mitchell Wand
| Venue: | Logics of Programs |
| Citations: | 64 - 1 self |
Document Versions
| Continuation Semantics in Typed Lambda-Calculi –Albert R. Meyer, Mitchell Wand — 1985 — Logics of Programs |
