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