Notions of Computation and Monads

Keywords

Equivalence (formal languages), Computation, Categorical variable, Computer science, Semantics (computer science)

References

• Reasoning with ContinuationsMatthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker — 1986
• First order categorical logicMichael Makkai, Gonzalo E. Reyes — 1977
• Toposes, Triples and TheoriesMichael Barr, Charles Wells — 1984
• Partial Objects In Constructive Type TheoryRobert L. Constable, Scott F. Smith — 1987
• The partial lambda calculusEugenio Moggi — 1988
• Verification of Programs That Destructively Manipulate DataIan A. Mason — 1988
• A Syntactic Theory of Sequential StateMatthias Felleisen, Daniel P. Friedman — 1989
• Strong functors and monoidal monadsAnders Kock — 1972
• Introduction to higher order categorical logicJ. L. Bell, J. Lambek, Philip Scott — 1986
• Call-by-Name, Call-by-Value and the lambda-CalculusGordon Plotkin — 1975
• Computational foundations of basic recursive function theoryRobert L. Constable, Scott F. Smith — 1988
• Denotational Semantics: A Methodology for Language DevelopmentDavid A. Schmidt — 1986
• The category-theoretic solution of recursive domain equationsMichael Smyth, Gordon Plotkin — 1977
• Categories for the Working MathematicianSaunders Mac Lane — 1971
• Higher-order modules and the phase distinctionRobert Harper, John C. Mitchell, Eugenio Moggi — 1989
• A sound and complete axiomatization of operational equivalence of programs with memoryIan Mason, Carolyn Talcott — 1989
• New foundations for fixpoint computationsRoy L. Crole, Andrew M. Pitts — 1990
• Computational lambda-calculus and monadsEugenio Moggi — 1989
• A category-theoretic account of program modulesEugenio Moggi — 1989
• The Linear Abstract MachineYves Lafont — 1988

Cited by

• States and exceptions are dual effectsJean‐Guillaume Dumas, Dominique Duval, Laurent Fousse — 2010
• Inductive representation, proofs and refinement of pointer structuresMathieu Giorgino — 2013
• Staging Dynamic Programming AlgorithmsKedar N. Swadi, Walid Taha, Oleg Kiselyov — 2005
• Functional programming with names and necessityAleksandar Nanevski, Frank Pfenning — 2004
• Actions, Ramifications and Linear ModalitiesGraham White — 2013
• A Static Analysis Framework for Security Properties in Mobile and Cryptographic SystemsBenyamin Y. Y. Aziz — 2003
• Toward the Automation of Category TheoryDexter Kozen — 2004
• Call-by-push-valuePaul Blain Levy — 2022
• The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigmsAmr Afaf Sabry — 1996
• Combining continuations with other effectsMartin Hyland, Paul Blain Levy, Gordon Plotkin — 2004
• Completeness of monad-based dynamic logicTill Mossakowski, Sergey Goncharov — 2006
• Separation Logic for a Higher-Order Typed LanguageNeelakantan R. Krishnaswami, John Reynolds, Jonathan Aldrich — 2005
• Algebraic Enriched CoalgebrasFilippo Bonchi, Marcello Bonsangue, Jan Rutten — 2010
• Composing Specifications Using Algebra CombinatorsGarrin Kimmell, Jennifer Streb, Ed Komp — 2006
• Structuring general and complete quantum computations in Haskell : the arrows approachJuliana Kaizer Vizzotto — 2006
• Formal Aspects of Polyvariant SpecializationHenning Korsholm Rohde — 2005
• Cyrptographic logical relations 1Yu Zhang, Inria Sophia-Antipolis — 2007
• The structure of continuation-passing stylesJohn Hatcliff — 1995
• Relational Reasoning about Functions and NondeterminismSøren B. Lassen, Olivier Danvy, Glynn Winskel — 1999
• Well Constructed Workflows in BioinformaticsAnna Gambin, Jan Hidders, Natalia Kwaśnikowska — 2005

Related papers

• Modular language implementation in Rascal - experience reportBas Basten, Jeroen van den Bos, Mark Hills — 2015
• On objects and eventsPatrick Eugster, Rachid Guerraoui, Christian Heide Damm — 2001
• JastAdd--an aspect-oriented compiler construction systemGörel Hedin, Eva Magnusson — 2003
• Prolog - the language and its implementation compared with LispDavid H. Warren, Luís M.C. Pereira, Fernando Pereira — 1977
• FactorSviatoslav Pestov, Daniel Ehrenberg, Joe Groff — 2010
• Total and Partial Computation in Categorical Quantum FoundationsKenta Cho — 2015
• The Decomposition of ESM ComputationsDirk Janssens — 1994