Searching for "Computational Lambda-Calculus and Monads" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Computational Lambda-Calculus and Monads
- …Computational lambda-calculus and monads Eugenio Moggi LFCS Dept. of Comp. Sci. University…
- Cited by 346 (6 self) – Add To MetaCart
-
Categorial Programming with Functorial Strength
- … notes, June 1989. [39] E. Moggi. Computational lambda-calculus and monads. In 4th Annual Symposium…
- Add To MetaCart
-
Two-Categories and Program Structure
- … 389. [Mog89b] Eugenio Moggi. Computational lambda-calculus and monads. In Proc., IEEE Logic…
- Add To MetaCart
-
Proc. Summer Workshop on Category and Computer
- …", Ph.D. Thesis, Edinburgh. Moggi E. [1989] "Computational Lambda-Calculus and Monads", IEEE Conference…
- Add To MetaCart
-
An Automatic Generation Technique for Monad
- …,未能真正地将它与计算机程序联系起来.1989 年,Moggi 发表了一篇题目为“Computational lambda calculus and monad”的论文 [1] ,其中论述了基于范畴理论中 Monad 概念的计算的范畴语义…
- Add To MetaCart
-
State in Functional Languages - An Annotated Bibliography
- … of examples that have been used as test cases by subsequent research. [58] Eugenio Moggi. Computational lambda-calculus…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
