All Stories

  1. Join Points in Practice (Keynote)

    Article • October 2025, ACM (Association for Computing Machinery)

    Simon Peyton Jones

  2. Understanding what Epic's Verse language actually means

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

    Simon Peyton Jones, Joachim Breitner

  3. Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation

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

    Simon Peyton Jones