Combining Continuations with Other Effects

Combining Continuations with Other Effects (2004)

by Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power

Venue:

UNIVERSITY OF BIRMINGHAM

User correction supplied by mph

Datum	Value	Source
TITLE	Combining Continuations with Other Effects	INFERENCE
AUTHOR NAME	Martin Hyland	user correction
AUTHOR AFFIL	Department of Mathematics	user correction
AUTHOR ADDR	University of Cambridge, Cambridge CB3 0WB, England	user correction
AUTHOR NAME	Paul Blain Levy	user correction
AUTHOR AFFIL	2 School of Computer Science	user correction
AUTHOR ADDR	University of Birmingham, Birmingham B15 2TT,	user correction
AUTHOR NAME	Gordon Plotkin	user correction
AUTHOR AFFIL	3 Laboratory for the Foundations of Computer Science, University of Edinburgh,	user correction
AUTHOR NAME	John Power	user correction
AUTHOR AFFIL	3 Laboratory for the Foundations of Computer Science, University of Edinburgh,	user correction
ABSTRACT		user correction
YEAR	2004	INFERENCE
VENUE	UNIVERSITY OF BIRMINGHAM	user correction
VENUE TYPE	TECHREPORT	INFERENCE
VOLUME	45	INFERENCE
TECH	Report CSR-04-1	INFERENCE
CITATIONS	13 found	ParsCit 1.0