Notions of Computation and Monads

@article{Moggi1991NotionsOC,
  title={Notions of Computation and Monads},
  author={Eugenio Moggi},
  journal={Inf. Comput.},
  year={1991},
  volume={93},
  pages={55-92}
}
The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one goes further and uses βη-conversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified with total functions from values to values), that may jeopardise the applicability of theoretical results. In this paper we introduce calculi based on a categorical semantics for computations, that… CONTINUE READING
Highly Influential
This paper has highly influenced 159 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Recent Discussions
This paper has been referenced on Twitter 13 times over the past 90 days. VIEW TWEETS

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 36 references

A sound and complete axiomatization of operational equivalence of programs with memory

  • I. Mason, C. Talcott
  • In POPL
  • 1989

An abstract view of programming languages

  • E. Moggi
  • Technical Report ECS-LFCS90-113, Edinburgh Univ…
  • 1989

Similar Papers

Loading similar papers…