1. Mentioned In 11 Articles

2. Scrap your type applications

   Microsoft Research Home (Jul 17 2008) Explore Article

   ...ications 27 George C. Necula and Peter Lee. Efficient representation and validation of proofs. In Logic in Computer Science, pages 93–104, 1998. URL citeseer. ist.psu.edu/article/necula98efficient.html. Ulf Norell. Toward... (Read Full Article)
   

   Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

3. [pdf] Philip Wadler: The essence of functional programming (1992 paper presenting monads)

   Informatics Homepages Server (Jun 14 2008) Explore Article

   ... 1991. [GH90] J. Guzm'an and P. Hudak, Single-threaded polymorphic lambda calculus. In Symposium on Logic in Computer Science, Philadelphia, Pennsylvania; IEEE, June 1990. [GL86] D. K. Gifford and J. M. Lucassen, Integrating ... (Read Full Article)
   

   Comment on Article Mentions:   MIT Press   Will Partain   Logic in Computer Science

4. Monads for Functional Programming

   Informatics Homepages Server (Apr 24 2008) Explore Article

   ...87. 6. J. Guzm´n and P. Hudak, Single-threaded polymorphic lambda calculus. In IEEE a Symposium on Logic in Computer Science, Philadelphia, June 1990. 7. P. Hudak, A semantic model of reference counting and its abstraction (... (Read Full Article)
   

   Comment on Article Mentions:   Logic in Computer Science   Prentice Hall   Haskell

5. A Domain-Specific Embedded Language for Probabilistic Programming

   College of Engineering (Apr 8 2008) Explore Article

   ...nes, Claire and Plotkin, Gordon D. A Probabilistic Powerdomain of Evaluations. In 4th IEEE Symp. on Logic in Computer Science, pages 186–195, 1989. [36] Na’aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, ... (Read Full Article)
   

   Comment on Article Mentions:   Martin Erwig   Cardelli   Theoretical Computer Science

6. Quantum Monads

   cs.nott.ac.uk (Apr 2 2008) Explore Article

   ...age. A functional quantum programming language. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pages 249–258. IEEE Computer Society Press, 2005. [2] J. S. Bell. On the Einstein–P... (Read Full Article)
   

   Comment on Article Mentions:   IEEE Computer Society Press   Acm Sigplan   Logic in Computer Science

7. _.pdf (application/pdf Object)

   di.uminho.pt (Mar 30 2008) Explore Article

   ...ratt. Origins of the calculus of binary relations. In Proc. of the Seventh Annual IEEE Symposium on Logic in Computer Science, pages 248–254, Santa Cruz, CA, 1992. IEEE Computer Soc. 16. C.J. Rodrigues. Data refinement by ... (Read Full Article)
   

   Comment on Article Mentions:   Roland Backhouse   Jeremy Gibbons   Computer Science

8. Church's Thesis and Functional Programming -- David Turner

   Computing at Kent (Mar 22 2008) Explore Article

   .... Abramsky, A. Jung “Domain theory”, in S. Abramsky, D. M. Gabbay, T. Maibaum (eds) Handbook of Logic in Computer Science, vol. III , OUP 1994. H. P. Barendregt The Lambda Calculus: Its Syntax and Semantics , NorthHolland... (Read Full Article)
   

   Comment on Article Mentions:   Chalmers University of Technology   Jean-Yves Girard   Christopher Strachey

9. PFP_JFP06.pdf (application/pdf Object)

   College of Engineering (Feb 22 2008) Explore Article

   ...in, G. D. (1989). A probabilistic Powerdomain of Evaluations. Pages 186–195 of: 4th IEEE Symp. on Logic in Computer Science. Maindonald, J., & Braun, J. (2003). Data Analysis and Graphics Using R. Cambridge University Press... (Read Full Article)
   

   Comment on Article Mentions:   Mathematics of Program Construction   Logic in Computer Science   Haskell

10. Tackling the awkward squad

    Microsoft Research Home (Feb 18 2008) Explore Article

    ...us. Cambridge University Press, 1999. [32] M OGGI , E. Computational lambda calculus and monads. In Logic in Computer Science, California. IEEE, June 1989. [33] N ELSON , G., Ed. Systems Programming with Modula-3. Prentice Ha... (Read Full Article)
    

    Comment on Article Mentions:   Tony Hoare   Green Card   Intel

11. afp-arrows.pdf (application/pdf Object)

    cs.chalmers.se (Feb 14 2008) Explore Article

    ...4. Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings 4th Annual IEEE Symp. on Logic in Computer Science, LICS’89, Pacific Grove, CA, USA, 5–8 June 1989, pages 14–23. IEEE Computer Society Press, W... (Read Full Article)
    

    Comment on Article Mentions:   Peter Thiemann   Benjamin C. Pierce   Jeremy Gibbons

12. Quantum arrows in Haskell

    mscs.dal.ca (Feb 1 2008) Explore Article

    ...ge, A functional quantum programming language, in: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, IEEE Computer Society Press, 2005, pp. 249–258. [2] Altenkirch, T. and B. Reus, Monad... (Read Full Article)
    

    Comment on Article Mentions:   Haskell   IEEE Computer Society Press   Science of Computer Programming

1-11 of 11