article

Notions of computation and monads

Author:

Eugenio MoggiAuthors Info & Claims

Information and Computation, Volume 93, Issue 1

Pages 55 - 92

https://doi.org/10.1016/0890-5401(91)90052-4

Published: 01 July 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Guan ZCao YYu TWang ZWang DHu Z(2024)Semantics Lifting for Syntactic SugarProceedings of the ACM on Programming Languages10.1145/36897588:OOPSLA2(1336-1361)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689758
Bowman W(2024)A Low-Level Look at A-Normal FormProceedings of the ACM on Programming Languages10.1145/36897178:OOPSLA2(165-191)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689717
Mückenschnabel MSridharan M(2024)Algebraic Effect Handlers with Bidirectional Type-CheckingCompanion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity10.1145/3689491.3689967(25-27)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1145/3689491.3689967
Show More Cited By

Index Terms

Notions of computation and monads
1. Theory of computation

Recommendations

Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions

Alex Simpson has suggested to use an observationally-induced approach towards modelling computational effects in denotational semantics. The principal idea is that a single observation algebra is used for defining the computational type structure. He ...
Premonoidal categories and notions of computation

We introduce the notions of premonoidal category and premonoidal functor, and show how these can be used in the denotational semantics of programming languages. We characterize the semantic definitions of Eugenio Moggi's monads as notions of computation,...
From corecursive algebras to corecursive monads
CALCO'11: Proceedings of the 4th international conference on Algebra and coalgebra in computer science

An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as a coproduct of the final coalgebra (considered as an algebra) and with free ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Information and Computation Volume 93, Issue 1

July 1991

221 pages

ISSN:0890-5401

Editor:
Albert R. Meyer
Massachusetts Institute of Technolgoy, Cambridge

Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 July 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

629
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Guan ZCao YYu TWang ZWang DHu Z(2024)Semantics Lifting for Syntactic SugarProceedings of the ACM on Programming Languages10.1145/36897588:OOPSLA2(1336-1361)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689758
Bowman W(2024)A Low-Level Look at A-Normal FormProceedings of the ACM on Programming Languages10.1145/36897178:OOPSLA2(165-191)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689717
Mückenschnabel MSridharan M(2024)Algebraic Effect Handlers with Bidirectional Type-CheckingCompanion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity10.1145/3689491.3689967(25-27)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1145/3689491.3689967
Frölich Dvan Binsbergen LChiba SThüm T(2024)On the Soundness of Auto-completion Services for Dynamically Typed LanguagesProceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3689484.3690734(107-120)Online publication date: 21-Oct-2024
https://dl.acm.org/doi/10.1145/3689484.3690734
Yoshioka TSekiyama TIgarashi A(2024)Abstracting Effect Systems for Algebraic Effect HandlersProceedings of the ACM on Programming Languages10.1145/36746418:ICFP(455-484)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.1145/3674641
Paquet HSaville PSobocinski PLago UEsparza J(2024)Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonadsProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662130(1-15)Online publication date: 8-Jul-2024
https://dl.acm.org/doi/10.1145/3661814.3662130
Barrett CCastle DHeijltjes WSobocinski PLago UEsparza J(2024)The Relational Machine CalculusProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662091(1-15)Online publication date: 8-Jul-2024
https://dl.acm.org/doi/10.1145/3661814.3662091
Kellison AHsu J(2024)Numerical Fuzz: A Type System for Rounding Error AnalysisProceedings of the ACM on Programming Languages10.1145/36564568:PLDI(1954-1978)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656456
Svyatlovskiy MMermelstein SLahav O(2024)Compositional Semantics for Shared-Variable ConcurrencyProceedings of the ACM on Programming Languages10.1145/36563998:PLDI(543-566)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656399
Zilberstein NSaliling ASilva A(2024)Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational EffectsProceedings of the ACM on Programming Languages10.1145/36498218:OOPSLA1(276-304)Online publication date: 29-Apr-2024
https://dl.acm.org/doi/10.1145/3649821
Show More Cited By

View Options

View options

Login options

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

Abstract

Cited By

Index Terms

Recommendations

Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions

Premonoidal categories and notions of computation

From corecursive algebras to corecursive monads

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations