Computational lambda-calculus and monads

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Computational lambda-calculus and monads

Source

Proceedings of the Fourth Annual Symposium on Logic in computer science table of contents

Pacific Grove, California, United States

Pages: 14 - 23

Year of Publication: 1989

ISBN:0-8186-1954-6

Author

E. Moggi

Publisher

IEEE Press Piscataway, NJ, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 107

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 107

	Jakov Kučan, Retraction Approach to CPS Transform, Higher-Order and Symbolic Computation, v.11 n.2, p.145-175, September 1998
	Andrzej Filinski, Linear continuations, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.27-38, January 19-22, 1992, Albuquerque, New Mexico, United States
	Martin Odersky, A functional theory of local names, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.48-59, January 16-19, 1994, Portland, Oregon, United States
	Jon G. Riecke, Fully abstract translations between functional languages, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.245-254, January 21-23, 1991, Orlando, Florida, United States
	Philip Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 19-22, 1992, Albuquerque, New Mexico, United States
	Martin Odersky, Programming with variable functions, ACM SIGPLAN Notices, v.34 n.1, p.105-116, Jan. 1999
	Philip Wadler, The marriage of effects and monads, ACM SIGPLAN Notices, v.34 n.1, p.63-74, Jan. 1999
	Steven E. Ganz , Daniel P. Friedman , Mitchell Wand, Trampolined style, ACM SIGPLAN Notices, v.34 n.9, p.18-27, Sept. 1999
	Olivier Danvy , Andrzej Filinski, Abstracting control, Proceedings of the 1990 ACM conference on LISP and functional programming, p.151-160, June 27-29, 1990, Nice, France
	John Hatcliff , Olivier Danvy, A generic account of continuation-passing styles, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.458-471, January 16-19, 1994, Portland, Oregon, United States
	Dirk Dussart , John Hughes , Peter Thiemann, Type specialisation for imperative languages, ACM SIGPLAN Notices, v.32 n.8, p.204-216, Aug. 1997
	Flavius Frasincar , Geert-Jan Houben , Cristian Pau, XAL: an algebra for XML query optimization, Australian Computer Science Communications, v.24 n.2, p.49-56, January-February 2002
	Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France
	Olivier Danvy , Julia L. Lawall, Back to direct style II: first-class continuations, ACM SIGPLAN Lisp Pointers, v.V n.1, p.299-310, Jan. 1992
	Mark P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, Proceedings of the conference on Functional programming languages and computer architecture, p.52-61, June 09-11, 1993, Copenhagen, Denmark
	John Power , Edmund Robinson, Logical relations, data abstraction, and structured fibrations, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.15-23, September 20-23, 2000, Montreal, Quebec, Canada
	Ross Paterson, A new notation for arrows, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Ian A. Mason , Carolyn L. Talcott, Program transformations for configuring components, ACM SIGPLAN Notices, v.26 n.9, p.297-308, Sept. 1991
	Amr Sabry , Philip Wadler, A reflection on call-by-value, ACM SIGPLAN Notices, v.31 n.6, p.13-24, June 15, 1996
	Andrzej Filinski, Representing monads, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.446-457, January 16-19, 1994, Portland, Oregon, United States
	Chih-Ping Chen , Paul Hudak, Rolling your own mutable ADT—a connection between linear types and monads, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.54-66, January 15-17, 1997, Paris, France
	Rowan Davies , Frank Pfenning, A modal analysis of staged computation, Journal of the ACM (JACM), v.48 n.3, p.555-604, May 2001
	Enno Scholz, Imperative streams—a monadic combinator library for synchronous programming, ACM SIGPLAN Notices, v.34 n.1, p.261-272, Jan. 1999
	Paul Hudak, Building domain-specific embedded languages, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Robert Harper , John C. Mitchell, On the type structure of standard ML, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.211-252, April 1993
	Brian T. Howard, Inductive, coinductive, and pointed types, ACM SIGPLAN Notices, v.31 n.6, p.102-109, June 15, 1996
	Julia L. Lawall , Olivier Danvy, Separating stages in the continuation-passing style transformation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.124-136, March 1993, Charleston, South Carolina, United States
	Rowan Davies , Frank Pfenning, A modal analysis of staged computation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.258-270, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Amr Sabry , Philip Wadler, A reflection on call-by-value, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.6, p.916-941, Nov. 1997
	Hongwei Xi , Frank Pfenning, Dependent types in practical programming, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.214-227, January 20-22, 1999, San Antonio, Texas, United States
	Koji Kagawa, Compositional references for stateful functional programming, ACM SIGPLAN Notices, v.32 n.8, p.217-226, Aug. 1997
	Amir Kishon , Paul Hudak , Charles Consel, Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors, ACM SIGPLAN Notices, v.26 n.6, p.338-352, June 1991
	Olivier Danvy , Bernd Grobauer , Morten Rhiger, A unifying approach to goal-directed evaluation, New Generation Computing, v.20 n.1, p.53-73, January 2002
	Philip Wadler , Peter Thiemann, The marriage of effects and monads, ACM Transactions on Computational Logic (TOCL), v.4 n.1, p.1-32, January 2003
	Yukiyoshi Kameyama , Masahito Hasegawa, A sound and complete axiomatization of delimited continuations, ACM SIGPLAN Notices, v.38 n.9, p.177-188, September 2003
	Andrew Gill , John Launchbury , Simon L. Peyton Jones, A short cut to deforestation, Proceedings of the conference on Functional programming languages and computer architecture, p.223-232, June 09-11, 1993, Copenhagen, Denmark
	David J. King , John Launchbury, Structuring depth-first search algorithms in Haskell, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.344-354, January 23-25, 1995, San Francisco, California, United States
	Andrzej Filinski, Representing layered monads, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.175-188, January 20-22, 1999, San Antonio, Texas, United States
	Simon L. Peyton Jones , Philip Wadler, Imperative functional programming, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.71-84, March 1993, Charleston, South Carolina, United States
	Robert Harper , John C. Mitchell , Eugenio Moggi, Higher-order modules and the phase distinction, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.341-354, December 1989, San Francisco, California, United States
	Philip Wadler, How to declare an imperative, ACM Computing Surveys (CSUR), v.29 n.3, p.240-263, Sept. 1997
	Miki Tanaka , John Power, Pseudo-distributive laws and axiomatics for variable binding, Higher-Order and Symbolic Computation, v.19 n.2-3, p.305-337, September 2006
	Andrzej S. Murawski, Functions with local state: regularity and undecidability, Theoretical Computer Science, v.338 n.1-3, p.315-349, 10 June 2005
	Aleksandar Nanevski, From dynamic binding to state via modal possibility, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.207-218, August 27-29, 2003, Uppsala, Sweden
	Paul Blain Levy , John Power , Hayo Thielecke, Modelling environments in call-by-value programming languages, Information and Computation, v.185 n.2, p.182-210, September 15, 2003
	Christoph Lüth , Neil Ghani, Composing monads using coproducts, ACM SIGPLAN Notices, v.37 n.9, p.133-144, September 2002
	Bernd Grobauer , Zhe Yang, The Second Futamura Projection for Type-Directed Partial Evaluation, Higher-Order and Symbolic Computation, v.14 n.2-3, p.173-219, September 2001
	Anna Bucalo , Carsten Führmann , Alex Simpson, An equational notion of lifting monad, Theoretical Computer Science, v.294 n.1-2, p.31-60, 15 February 2003
	Carsten Führmann , Hayo Thielecke, On the call-by-value CPS transform and its semantics, Information and Computation, v.188 n.2, p.241-283, 29 January 2004
	John Power, A unified category theoretic approach to variable binding, Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, p.1-9, August 26, 2003, Uppsala, Sweden
	Amr Sabry , Matthias Felleisen, Reasoning about programs in continuation-passing style., ACM SIGPLAN Lisp Pointers, v.V n.1, p.288-298, Jan. 1992
	Neil Ghani , Christoph Lüth, Rewriting via coinserters, Nordic Journal of Computing, v.10 n.4, p.290-312, December 2003
	Zhe Yang, Encoding types in ML-like languages, Theoretical Computer Science, v.315 n.1, p.151-190, 5 May 2004
	Sungwoo Park , Frank Pfenning , Sebastian Thrun, A probabilistic language based upon sampling functions, ACM SIGPLAN Notices, v.40 n.1, p.171-182, January 2005
	Zena M. Ariola , Hugo Herbelin , Amr Sabry, A type-theoretic foundation of continuations and prompts, ACM SIGPLAN Notices, v.39 n.9, September 2004
	Matthew Fluet , Greg Morrisett, Monadic regions, ACM SIGPLAN Notices, v.39 n.9, September 2004
	François Pottier , Christian Skalka , Scott Smith, A systematic approach to static access control, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.2, p.344-382, March 2005
	Kedar Swadi , Walid Taha , Oleg Kiselyov , Emir Pasalic, A monadic approach for avoiding code duplication when staging memoized functions, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Ryan Newton , Matt Welsh, Region streams: functional macroprogramming for sensor networks, Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004, August 30-30, 2004, Toronto, Canada
	Olin Shivers , Matthew Might, Continuations and transducer composition, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Miley Semmelroth , Amr Sabry, Monadic encapsulation in ML, ACM SIGPLAN Notices, v.34 n.9, p.8-17, Sept. 1999
	Jacob M. Howe, Proof search in Lax Logic, Mathematical Structures in Computer Science, v.11 n.4, p.573-588, August 2001
	Samson Abramsky , Esfandiar Haghverdi , Philip Scott, Geometry of Interaction and linear combinatory algebras, Mathematical Structures in Computer Science, v.12 n.5, p.625-665, October 2002
	Frank Pfenning , Rowan Davies, A judgmental reconstruction of modal logic, Mathematical Structures in Computer Science, v.11 n.4, p.511-540, August 2001
	Peter Aczel, The Russell–Prawitz modality, Mathematical Structures in Computer Science, v.11 n.4, p.541-554, August 2001
	Yukiyoshi Kameyama, Axioms for control operators in the CPS hierarchy, Higher-Order and Symbolic Computation, v.20 n.4, p.339-369, December 2007
	Juliana Kaizer Vizzotto , Antônio Carlos da Rocha Costa , Amr Sabry, Quantum Arrows in Haskell, Electronic Notes in Theoretical Computer Science (ENTCS), 210, p.139-152, July, 2008
	Keith Wansbrough , John Hamer, A modular monadic action semantics, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.13-13, October 15-17, 1997, Santa Barbara, California
	Maksym Bortin , Einar Broch Johnsen , Christoph Lüth, Structured formal development in Isabelle, Nordic Journal of Computing, v.13 n.1, p.2-21, June 2006
	Martin Hyland , Gordon Plotkin , John Power, Combining effects: sum and tensor, Theoretical Computer Science, v.357 n.1, p.70-99, 25 July 2006
	Martin Hyland , John Power, Discrete Lawvere theories and computational effects, Theoretical Computer Science, v.366 n.1, p.144-162, 16 November 2006
	John Power, Generic models for computational effects, Theoretical Computer Science, v.364 n.2, p.254-269, 6 November 2006
	Martin Hyland , John Power, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.437-458, April, 2007
	Paul Blain Levy, Call-by-push-value: Decomposing call-by-value and call-by-name, Higher-Order and Symbolic Computation, v.19 n.4, p.377-414, December 2006
	Aleksandar Nanevski , Greg Morrisett , Lars Birkedal, Polymorphism and separation in hoare type theory, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Chuan-kai Lin, Programming monads operationally with Unimo, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
	A. J. van Leeuwen, Building Verification Condition Generators by Compositional Extension, Electronic Notes in Theoretical Computer Science (ENTCS), 191, p.73-83, October, 2007
	Andrzej Filinski, On the relations between monadic semantics, Theoretical Computer Science, v.375 n.1-3, p.41-75, May, 2007
	Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power, Combining algebraic effects with continuations, Theoretical Computer Science, v.375 n.1-3, p.20-40, May, 2007
	Christopher J. Dutchyn, Specializing continuations a model for dynamic join points, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.45-57, March 13-13, 2007, Vancouver, British Columbia, Canada
	Peng Li , Steve Zdancewic, Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Juliana Vizzotto , Thorsten Altenkirch , Amr Sabry, Structuring quantum effects: superoperators as arrows, Mathematical Structures in Computer Science, v.16 n.3, p.453-468, June 2006
	Matthew Fluet , Greg Morrisett, Monadic regions, Journal of Functional Programming, v.16 n.4-5, p.485-545, July 2006
	Karl Crary , Aleksey Kliger , Frank Pfenning, A monadic analysis of information flow security with mutable state, Journal of Functional Programming, v.15 n.2, p.249-291, March 2005
	Simon Helsen, Bisimilarity for the Region Calculus, Higher-Order and Symbolic Computation, v.17 n.4, p.347-394, December 2004
	P. N. Benton , G. M. Bierman , V. C. V. De Paiva, Computational types from a logical perspective, Journal of Functional Programming, v.8 n.2, p.177-193, March 1998
	E. Moggi , Amr Sabry, Monadic encapsulation of effects: a revised approach (extended version), Journal of Functional Programming, v.11 n.6, p.591-627, November 2001
	Hayo Thielecke, Comparing Control Constructs by Double-Barrelled CPS, Higher-Order and Symbolic Computation, v.15 n.2-3, p.141-160, September 2002
	Michael Y. Levin , Benjamin C. Pierce, TinkerType: a language for playing with formal systems, Journal of Functional Programming, v.13 n.2, p.295-316, March 2003
	Masahito Hasegawa , Yoshihiko Kakutani, Axioms for Recursion in Call-by-Value, Higher-Order and Symbolic Computation, v.15 n.2-3, p.235-264, September 2002
	Jeremy E. Dawson, Compound monads in specification languages, Proceedings of the 2007 workshop on Programming languages meets program verification, October 05-05, 2007, Freiburg, Germany
	Aleksandar Nanevski , Greg Morrisett , Avraham Shinnar , Paul Govereau , Lars Birkedal, Ynot: dependent types for imperative programs, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Jack Jansen , Dick C.A. Bulterman, Enabling adaptive time-based web applications with SMIL state, Proceeding of the eighth ACM symposium on Document engineering, September 16-19, 2008, Sao Paulo, Brazil
	Alex Simpson, Linear types for computational effects, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Sungwoo Park , Frank Pfenning , Sebastian Thrun, A probabilistic language based on sampling functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-46, December 2008
	Kevin Donnelly , Matthew Fluet, Transactional events1, Journal of Functional Programming, v.18 n.5-6, p.649-706, September 2008
	Aleksandar Nanevski , Greg Morrisett , Lars Birkedal, Hoare type theory, polymorphism and separation1, Journal of Functional Programming, v.18 n.5-6, p.865-911, September 2008
	John Power , Miki Tanaka, Axiomatics for Data Refinement in Call by Value Programming Languages, Electronic Notes in Theoretical Computer Science (ENTCS), 225, p.281-302, January, 2009
	Daniel Marino , Todd Millstein, A generic type-and-effect system, Proceedings of the 4th international workshop on Types in language design and implementation, January 24-24, 2009, Savannah, GA, USA
	Hayo Thielecke, Control effects as a modality, Journal of Functional Programming, v.19 n.1, p.17-26, January 2009
	Bart Jacobs , Chris Heunen , Ichiro Hasuo, Categorical semantics for arrows, Journal of Functional Programming, v.19 n.3-4, p.403-438, July 2009
	Stephen Lack , John Power, Gabriel–ulmer duality and lawvere theories enriched over a general base, Journal of Functional Programming, v.19 n.3-4, p.265-286, July 2009
	Robert Atkey, Parameterised notions of computation, Journal of Functional Programming, v.19 n.3-4, p.335-376, July 2009
	Jack Jansen , Dick C. Bulterman, SMIL State: an architecture and implementation for adaptive time-based web applications, Multimedia Tools and Applications, v.43 n.3, p.203-224, July 2009
	Joseph M. Morris , Alexander Bunkenburg , Malcolm Tyrrell, Term transformers: A new approach to state, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.4, p.1-42, May 2009
	Daniel Brown , Riccardo Pucella, Categories of Timed Stochastic Relations, Electronic Notes in Theoretical Computer Science (ENTCS), 249, p.193-217, August, 2009