All Stories

  1. Bringing the WebAssembly Standard up to Speed with SpecTec

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

    Joachim Breitner, Petar Maksimovic

  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. More recursive definitions can work in Haskell

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

    Joachim Breitner