Linearly-used Continuations in the Enriched Effect Calculus
- Jeff Egger,
- ,
- Alex Simpson
- University of Edinburgh
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-review
Open access
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 18-32Journal (Volume, Issue Number)
Lecture Notes in Computer Science (Volume 6014)Publication milestones
- Published - 20/03/2010
Publication status
Published - 20/03/2010
ISSN
0302-9743Publication IDs
- Scopus: 77951485171
Publication metrics
PlumX, opens in new tab
Citations
7
Captures
5
Access to documents
Related Event
Title
Foundations of Software Science and Computation Structures (FoSSaCS)