All Stories

  1. Featherweight go

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  2. The root cause of blame: contracts for intersection and union types

    Article • Proceedings of the ACM on Programming Languages, October 2018, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  3. Refinement reflection: complete verification with SMT

    Article • Proceedings of the ACM on Programming Languages, January 2018, ACM (Association for Computing Machinery)

    Professor Philip Wadler, Vikraman Choudhury

  4. Quantified class constraints

    Article • ACM SIGPLAN Notices, October 2017, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  5. Gradual session types

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Professor Philip Wadler, Vasco T. Vasconcelos, Atsushi Igarashi

  6. Theorems for free for free: parametricity, with and without types

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek, Professor Philip Wadler

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

    Article • Communications of the ACM, July 2016, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  8. Propositions as types

    Article • Communications of the ACM, November 2015, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  9. Blame and coercion: together again for the first time

    Article • ACM SIGPLAN Notices, August 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek, Professor Philip Wadler

  10. Blame and coercion: together again for the first time

    Article • June 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek, Professor Philip Wadler

  11. A practical theory of language-integrated query

    Article • ACM SIGPLAN Notices, September 2013, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  12. A practical theory of language-integrated query

    Article • September 2013, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  13. Propositions as sessions

    Article • ACM SIGPLAN Notices, October 2012, ACM (Association for Computing Machinery)

    Professor Philip Wadler

  14. Propositions as sessions

    Article • September 2012, ACM (Association for Computing Machinery)

    Professor Philip Wadler