All Stories

  1. Welterweight Go: Boxing, Structural Subtyping, and Generics

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

    Professor Philip Wadler

  2. Featherweight go

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

    Professor Philip Wadler

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

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

  5. Quantified class constraints

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

    Professor Philip Wadler

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

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

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

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

    Professor Philip Wadler

  9. Propositions as types

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

    Professor Philip Wadler

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

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

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

    Professor Jeremy Graham Siek, Professor Philip Wadler

  12. A practical theory of language-integrated query

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

    Professor Philip Wadler

  13. A practical theory of language-integrated query

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

    Professor Philip Wadler

  14. Propositions as sessions

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

    Professor Philip Wadler

  15. Propositions as sessions

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

    Professor Philip Wadler