Linearly-Used Continuations in the Enriched Effect Calculus

DOI10.1007/978-3-642-12032-9_3zbMath1284.68180OpenAlexW1486772918MaRDI QIDQ3557841

Rasmus Ejlers Møgelberg, J. M. Egger, Alex K. Simpson

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Enriching an Effect Calculus with Linear Types

This page was built for publication: Linearly-Used Continuations in the Enriched Effect Calculus