Sound and Complete Axiomatisations of Call-By-Value Control Operators (1994)

Cached

Download Links

by Martin Hofmann , Mart I N Hofmann
Venue:Math. Structures Comput. Sci
Citations:18 - 1 self

Document Versions

Sound and Complete Axiomatisations of Call-By-Value Control Operators –Martin Hofmann, Mart I N Hofmann — 1994 — Math. Structures Comput. Sci