Edinburgh Research Explorer

Prof Philip Wadler

Chair of Theoretical Computer Science

  1. 2017
  2. Gradual Session Types

    Igarashi, A., Thiemann, P., Vasconcelos, V. & Wadler, P. 1 Sep 2017 In : Proceedings of the ACM on Programming Languages (PACMPL). 1, IFCP, p. 1-28 28 p., 38

    Research output: Contribution to journalArticle

  3. Theorems for Free for Free: parametricity, with and without types

    Ahmed, A., Jamner, D., Siek, J. G. & Wadler, P. 1 Sep 2017 In : Proceedings of the ACM on Programming Languages (PACMPL). 1, ICFP, p. 1-28 28 p., 39

    Research output: Contribution to journalArticle

  4. Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

    Wadler, P. 1 Jan 2017 In : Journal of Universal Computer Sciene. 23, 1, p. 5-20 16 p.

    Research output: Contribution to journalArticle

  5. Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

    Williams, J., Morris, J. G., Wadler, P. & Zalewski, J. 2017 The European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-28 28 p. 39. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74)

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

  6. Mixing Metaphors: Actors as Channels and Channels as Actors

    Fowler, S., Lindley, S. & Wadler, P. 2017 The 31st European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-28 28 p. 11. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74)

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

  7. 2016
  8. Quantified Class Constraints

    Bottu, G-J., Karachalias, G., Schrijvers, T., Oliveira, B. C. D. S. & Wadler, P. 18 Dec 2016 ICFP Workshops 2017 - 10th ACM SIGPLAN International Haskell Symposium (Haskell 2017).. ACM, p. 148-161 14 p.

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

  9. Technical Perspective: Why didn't I think of that?

    Wadler, P. 22 Jul 2016 Communications of the ACM, 59, p. 92-92 1 p.

    Research output: Contribution to specialist publicationArticle

  10. Coherence Generalises Duality: a logical explanation of multiparty session types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P. 2016 The 27th International Conference on Concurrency Theory CONCUR 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-15 14 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59)

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

  11. Everything old is new again: Quoted Domain Specific Languages

    Najd, S., Lindley, S., Svenningsson, J. & Wadler, P. 2016 PEPM 2016 Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ACM, p. 25-36 12 p.

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

  12. Usability of Programming Languages

    Myers, B. A., Stefik, A., Hanenberg, S., Kaijanaho, A-J., Burnett, M., Turbak, F. & Wadler, P. 2016 CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. ACM, p. 1104-1107 4 p.

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

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