Continuation Semantics in Typed Lambda-Calculi (1985)

Cached

Download Links

by Albert R. Meyer , Mitchell Wand
Venue:Logics of Programs
Citations:67 - 1 self

Document Versions

Continuation Semantics in Typed Lambda-Calculi –Albert R. Meyer, Mitchell Wand — 1985 — Logics of Programs