Linear types for computational effects

Authors:
Alex Simpson
Affiliations:
LFCS, School of Informatics, University of Edinburgh, Edinburgh, United Kingdom
Venue:
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
2009

Citing 7
Cited 0

Linear logic

Theoretical Computer Science
Computational lambda-calculus and monads

Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads

Information and Computation
From Algol to polymorphic linear lambda-calculus

Journal of the ACM (JACM)
Linear Continuation-Passing

Higher-Order and Symbolic Computation
Linear Logic, Monads and the Lambda Calculus

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Relational Parametricity for Computational Effects

LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.