Moggi, E. (1989). Computational lambda calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14--23, Asilomar, California. IEEE Computer Society Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Under consideration for publication in Math. Struct. in .. - Judgmental.. Self-citation (Moggi) (Correct)
No context found.
Moggi, E. (1989). Computational lambda calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14--23, Asilomar, California. IEEE Computer Society Press.
Under consideration for publication in Math. Struct. in .. - Judgmental.. Self-citation (Moggi) (Correct)
No context found.
Moggi, E. (1988). Computational lambda-calculus and monads. Technical Report ECS-LFCS88 -86, University of Edinburgh.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, pages 14--23. IEEE Computer Society Press, June 1989.
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) (Correct)
No context found.
Eugenio Moggi. Computational lambda-calculus and monads. In LICS, pages 14--23, 1989.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Eugenio Moggi. Computational lambda calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14-23, Asilomar, California, June 1989. IEEE Computer Society Press.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Fourth IEEE Symposium on Logic in Computer Science, pages 14--23, 1989.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Fourth IEEE Symposium on Logic in Computer Science, pages 14--23, 1989.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, pages 14--23. IEEE Computer Society Press, 1989.
Problems in Rewriting applied to Categorical Concepts by the.. - Gehrke (1994) (1 citation) (Correct)
No context found.
E. Moggi. Computational Lambda-calculus and Monads. In Fourth Annual Symposium on Logic in Computer Science, pages 14--23. IEEE, June 1989.
Unknown - (2000) (Correct)
No context found.
Eugenio Moggi. Computational lambda-calculus and monads. Proceedings, Fourth Annual Symposium on Logic in Computer Science. Jun. 1989, 14--23
Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Proceedings 4th Annual IEEE Symp. on Logic in Computer Science, LICS, pages 14--23. IEEE Computer Society Press, Washington, DC, 1989.
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
No context found.
Moggi, E. (1989, June). Computational lambda-calculus and monads. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science, Pacific Grove, California, pp. 14--23.
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
No context found.
Moggi, E. 1989. Computational lambda calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science (LICS'89) (Asilomar, California, June 1989), pp. 14--23. IEEE Computer Society Press.
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
No context found.
Eugenio Moggi. Computational lambda calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14--23, Asilomar, California, June 1989. IEEE Computer Society Press.
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (2004) (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In LICS-89, pages 14--23. IEEE Computer Society Press, 1989.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Fourth IEEE Symposium on Logic in Computer Science, pages 14--23, 1989.
Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
No context found.
Moggi, Eugenio. (1989). Computational lambda-calculus and monads. Pages 14--23 of: Fourth IEEE symposium on logic in computer science.
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
No context found.
Moggi, E. (1989) Computational lambda-calculus and monads. Fourth IEEE Symposium on Logic in Computer Science, pp. 14--23.
Skeletons and the Anatomy of Monads - Chuan-Kai Lin Department (Correct)
No context found.
Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14--23, Piscataway, NJ, USA, June 1989. IEEE Press.
A Monadic Approach for Avoiding Code Duplication when .. - Swadi, Taha.. (2006) (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Proceedings of IEEE Symposium on Logic in Computer Science (LICS'89), pages 14--23. IEEE Computer Society Press, June 1989.
A Programming Language for Probabilistic Computation - Park (2005) (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, pages 14--23. IEEE Computer Society Press, 1989.
Tail Recursion Through Universal Invariants - Barry Jay Lfcs (1993) (1 citation) (Correct)
No context found.
E. Moggi, Computational lambda-calculus and monads, Proceedings Fourth Annual Symposium on Logic in Computer Science (IEEE Computer Society Press, 1989) 14--23.
Covariant Types - Barry Jay School (1997) (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In 4th LICS Conf., pages 14--23. IEEE, 1989.
Staging Dynamic Programming Algorithms - Kedar Swadi Kswadi (2005) (Correct)
No context found.
E. Moggi. Computational lambda-calculus and monads. In Proceedings of Symposium on Logic in Computer Science, pages 14--23. IEEE, June 1989.
Logic for Computational Effects: work in progress - Plotkin, Power (Correct)
No context found.
Moggi, E. (1989) Computational lambda-calculus and monads. Proc. LICS '89, Asilomar, California, 5-8 June, pp 14-23, IEEE Press, Washington.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC