Proceedings of the ACM on Programming Languages

Journal

Publications

  1. 2020
  2. Published

    Reduction Monads and Their Signatures

    Benedikt Ahrens, 19 Jan 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, 29 p., 31.

    Research output: Contribution to journalConference article

  3. 2019
  4. Published

    Asphalion: trustworthy shielding against Byzantine faults

    Vincent Rahli, 10 Oct 2019, In : Proceedings of the ACM on Programming Languages. 3, OOPSLA, 138.

    Research output: Contribution to journalConference article

  5. 2018
  6. Published

    Univalent higher categories via complete Semi-Segal types

    Nicolai Kraus, Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 44:1-11:29 29 p., 44.

    Research output: Contribution to journalArticle