Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

Parameterised Notions of Computation

Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP)

Mathematically Structured Functional Programming

2 July 2006

Freyd Categories, Computational Monads, Computational Effects

Read this article at

Bookmark
      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

      Abstract

      Moggi’s Computational Monads and Power et al’s equivalent notion of Freyd category have captured a large range of computational effects present in programming languages such as exceptions, side-effects, input/output and continuations. We present generalisations of both constructs, which we call parameterised monads and parameterised Freyd categories, that also capture computational effects with parameters. Examples of such are composable continuations, side-effects where the type of the state varies and input/output where the range of inputs and outputs varies. By also considering monoidal parameterisation, we extend the range of effects to cover separated side-effects and multiple independent streams of I/O.We also present two typed λ-calculi that soundly and completely model our categorical definitions — with and without monoidal parameterisation—and act as prototypical languages with parameterised effects.

      Related collections

      Most cited references 6

      • Record: found
      • Abstract: not found
      • Article: not found

      Notions of computation and monads

       Eugenio Moggi (1991)
        Bookmark
        • Record: found
        • Abstract: not found
        • Article: not found

        Modelling environments in call-by-value programming languages

          Bookmark
          • Record: found
          • Abstract: not found
          • Article: not found

          Premonoidal categories and notions of computation

            Bookmark

            Author and article information

            Affiliations
            Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh

            Mayfield Road, Edinburgh EH9 3JZ, UK
            Contributors
            Conference
            July 2006
            July 2006
            : 1-15
            10.14236/ewic/MSFP2006.5
            © Robert Atkey. Published by BCS Learning and Development Ltd. Workshop on Mathematically Structured Functional Programming (MSFP 2006), Kuressaare, Estonia

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Workshop on Mathematically Structured Functional Programming (MSFP 2006)
            MSFP
            Kuressaare, Estonia
            2 July 2006
            Electronic Workshops in Computing (eWiC)
            Mathematically Structured Functional Programming
            Product
            Product Information: 1477-9358 BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article