Paul Levy

Publications

  1. Book › Research
  2. Published

    Call-by-Push-Value: A Functional/Imperative Synthesis

    Paul Levy, 1 Jan 2003, Kluwer, Semantic Structures in Computation, 2.

    Research output: Book/ReportBook

  3. Published

    Proceedings 5th Workshop on Mathematically Structured Functional Programming

    Neelakantan Krishnaswami (ed.) & Paul Levy (ed.), 5 Jun 2014, Electronic Proceedings in Theoretical Computer Science. 167 p. (Electronic Proceedings in Theoretical Computer Science; vol. 153)

    Research output: Book/ReportBook

  4. Conference contribution › Research
  5. Published

    A Syntactic View of Computational Adequacy

    Marco Devesas Campos & Paul Levy, 14 Apr 2018, Foundations of Software Science and Computation Structures (FOSSACS 2018): 21st International Conference, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer, Vol. 10803. p. 71-87 (Lecture Notes in Computer Science - Advanced Research in Computing and Software Science ; vol. 10803).

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

  6. Published

    A monad for full ground reference cells

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

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

  7. Published

    Coinductive resumption monads: guarded iterative and guarded Elgot

    Paul Levy, 31 Dec 2019, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl, Vol. 139. p. 13:1--13:17 18 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  8. 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

  9. 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

  10. 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

  11. Published

    Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies

    Paul Levy, 11 Dec 2018, Proceedings of the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV). Staton, S. (ed.). p. 23-44 (Electronic Notes in Theoretical Computer Science; vol. 341).

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

  12. Published

    Iteration and labelled iteration

    Paul Levy, 5 Oct 2016, Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016). Elsevier, p. 127-146 20 p. (Electronic Notes in Theoretical Computer Science ; vol. 325).

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

Previous 1 2 3 4 5 Next