Paul Levy

Publications

  1. Published

    Combining algebraic effects with continuations. Festschrift for John Reynolds' 70th birthday

    Paul Levy, 1 May 2007, In : Theoretical Computer Science. 375, 1-3, p. 20-40 21 p.

    Research output: Contribution to journalArticle

  2. Published

    Combining continuations with other effects

    Paul Levy, 1 Jan 2004.

    Research output: Contribution to conference (unpublished)Paper

  3. Published

    Contextual isomorphisms

    Paul Levy, 1 Jan 2017, POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages . Castagna, G. & Gordon, A. D. (eds.). Association for Computing Machinery , p. 400-414

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Coproducts of Monads on Set

    Paul Levy, 1 Jun 2012, p. 45-54.

    Research output: Contribution to conference (unpublished)Paper

  5. Published

    Effectful Applicative Bisimilarity: Monads, Relators, and the Howe's Method

    Paul Levy, 18 Aug 2017, Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017). IEEE Computer Society Press, p. 1-12 30 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

    Paul Levy, 8 Aug 2009, p. 357-375. 19 p.

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    Final Coalgebras from Corecursive Algebras

    Paul Levy, 21 Oct 2015, Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Moss, L. S. & Sobocinski, P. (eds.). Schloss Dagstuhl, Vol. 35. p. 221-237 (Leibniz International Proceedings in Informatics; vol. 35).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    From Applicative to Environmental Bisimulation

    Paul Levy, 1 Sep 2011, p. 215-235. 21 p.

    Research output: Contribution to conference (unpublished)Paper

  9. Published

    Global State Considered Helpful, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)

    Paul Levy, 22 Oct 2008, p. 241-259. 19 p.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Higher-order Containers

    Paul Levy, 1 Jun 2010, p. 11-20. 10 p.

    Research output: Contribution to conference (unpublished)Paper