skip to main content
invited-talk

Linear types for computational effects

Authors Info & Claims
Published:21 January 2009Publication History
Skip Abstract Section

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.

References

  1. Benton, N. and Wadler, P. Linear Logic, Monads and the Lambda Calculus. In Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Berdine, J., O'Hearn, P.W., Reddy, U. and Thielecke, H. Linear continuation-passing. Higher Order and Symbolic Computation, 15:181--208, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Girard, J.-Y. Linear logic. Theoretical Computer Science, 50, 101 pp., 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. O'Hearn, P.W. and Reynolds, J.C. From Algol to polymorphic linear lambda-calculus. Journal of the ACM, 47:167--223, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Mogelberg, R. and Simpson, A. Relational parametricity for computational effects. In Proceedings of 22nd Annual IEEE Symposium on Logic in Computer Science, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Moggi, E. Computational lambda-calculus and monads. In Proceedings of 4th Annual IEEE Symposium on Logic in Computer Science, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Moggi, E. Notions of computation and monads. Information and Computation, 93:55--92, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Linear types for computational effects

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGPLAN Notices
              ACM SIGPLAN Notices  Volume 44, Issue 1
              POPL '09
              January 2009
              453 pages
              ISSN:0362-1340
              EISSN:1558-1160
              DOI:10.1145/1594834
              Issue’s Table of Contents
              • cover image ACM Conferences
                POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
                January 2009
                464 pages
                ISBN:9781605583792
                DOI:10.1145/1480881

              Copyright © 2009 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 21 January 2009

              Check for updates

              Qualifiers

              • invited-talk
            • Article Metrics

              • Downloads (Last 12 months)0
              • Downloads (Last 6 weeks)0

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!