Notions of Computation and Monads Export

@article{citeulike:263850, abstract = {The lambda-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with lambda-terms. However, if one goes further and uses beta eta-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...}, author = {Moggi, Eugenio}, citeulike-article-id = {263850}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/moggi89notions.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/moggi89notions.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/moggi89notions.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/moggi89notions.html}, journal = {Information and Computation}, number = {1}, pages = {55--92}, posted-at = {2008-01-10 19:07:31}, priority = {2}, title = {Notions of Computation and Monads}, url = {http://citeseer.ist.psu.edu/moggi89notions.html}, volume = {93}, year = {1991} }

TY - JOUR ID - citeulike:263850 L3 - citeulike-article-id:263850 N2 - The lambda-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with lambda-terms. However, if one goes further and uses beta eta-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... IS - 1 JF - Information and Computation EP - 92 TI - Notions of Computation and Monads VL - 93 SP - 55 AU - Moggi, Eugenio PY - 1991/// UR - http://citeseer.ist.psu.edu/moggi89notions.html ER -