Edinburgh Research Explorer

Prof Philip Wadler

Chair of Theoretical Computer Science

  1. 2020
  2. Theoretical Pearl: ≐≃≡ Leibniz equality is isomorphic to Martin-Löf identity, parametrically

    Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 17 Jun 2020, In : Journal of Functional Programming. 30, 14 p., e17.

    Research output: Contribution to journalArticle

  3. Programming Language Foundations in Agda

    Kokke, K., Siek, J. G. & Wadler, P., 24 Mar 2020, In : Science of Computer Programming. 194, p. 1-15 15 p., 102440.

    Research output: Contribution to journalArticle

  4. λdB: Blame tracking at higher fidelity

    Zalewski, J., Mckinna, J., Morris, J. G. & Wadler, P., 25 Jan 2020. 22 p.

    Research output: Contribution to conferencePaper

  5. 2019
  6. Gradual session types

    Igarashi, A., Thiemann, P., Tsuda, Y., Vasconcelos, V. T. & Wadler, P., 18 Nov 2019, In : Journal of Functional Programming. 29, p. 1-56 56 p., e17.

    Research output: Contribution to journalArticle

  7. System F in Agda, for Fun and Profit

    Chapman, J., Kireev, R., Nester, C. & Wadler, P., 20 Oct 2019, Mathematics of Program Construction. Hutton, G. (ed.). Cham: Springer International Publishing, p. 255-297 43 p. ( Lecture Notes in Computer Science (LNCS); vol. 11825).

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

  8. Unraveling Recursion: Compiling an IR with Recursion to System F

    Peyton Jones, M., Gkoumas, V., Kireev, R., MacKenzie, K., Nester, C. & Wadler, P., 20 Oct 2019, Mathematics of Program Construction. Hutton, G. (ed.). Cham: Springer International Publishing, p. 414-443 30 p. (Lecture Notes in Computer Science (LNCS); vol. 11825).

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

  9. Towards Races in Linear Logic

    Kokke, K., Morris, J. G. & Wadler, P., 8 Aug 2019, Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. Riis Nielson, H. & Tuosto, E. (eds.). Springer, Cham, Vol. 11533. p. 37-53 18 p. (Lecture Notes in Computer Science; vol. 11533).

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

  10. COCHIS: Stable and coherent implicits

    Schrijvers, T., Oliveira, B. C. D. S., Wadler, P. & Marnitirosian, K., 8 Feb 2019, In : Journal of Functional Programming. 29, e3, p. 1-82 82 p.

    Research output: Contribution to journalArticle

  11. 2018
  12. The root cause of blame: contracts for intersection and union types

    Williams, J., Morris, J. G. & Wadler, P., Nov 2018, In : Proceedings of the ACM on Programming Languages (PACMPL). 2, OOPSLA, p. 134:1-134:29 29 p., 134.

    Research output: Contribution to journalArticle

  13. Programming Language Foundations in Agda

    Wadler, P. & Kokke, W., 2018

    Research output: Book/ReportBook

Previous 1 2 3 4 5 6 7 8 ...13 Next