Linear types for computational effects

Alexander Simpson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

I shall present an extension of Moggi's computational metalanguage with primitives from linear logic, the enriched effect-calculus. Illustrative applications to side effects, continuations, nondeterminism and polymorphism will be considered. The talk is based on joint work with Jeff Egger and Rasmus Mogelberg.
Original languageEnglish
Title of host publicationProceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
Number of pages1
Publication statusPublished - 2009


Dive into the research topics of 'Linear types for computational effects'. Together they form a unique fingerprint.

Cite this