Linearly-used Continuations in the Enriched Effect Calculus

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6014
Pages (from-to)18-32
ISSN0302-9743
DOIs
Publication statusPublished - 20 Mar 2010
EventFoundations of Software Science and Computation Structures (FoSSaCS) -
Duration: 2 Jul 2010 → …

Conference

ConferenceFoundations of Software Science and Computation Structures (FoSSaCS)
Period02/07/2010 → …

Cite this