Joachim Breitner

Bringing the WebAssembly Standard up to Speed with SpecTec

Dongjun Youn, Wonho Shin, Sukyoung Ryu et al. · Proceedings of the ACM on Programming Languages · 2024 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +16

Safe zero-cost coercions for Haskell

Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones et al. · 2014 · 25 citations

Computing, Computer Science, Compilers +16

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

Joachim Breitner, Antal Spector-Zabusky, Yao Li et al. · Proceedings of the ACM on Programming Languages · 2018 · 22 citations · Full text

Computing, Computer Engineering, Computer Science +10

Safe zero-cost coercions for Haskell

Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones et al. · Journal of Functional Programming · 2016 · 19 citations

Computing, Computer Science, Compilers +16

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)

Niki Vazou, Joachim Breitner, Rose Kunkel et al. · 2018 · 19 citations · Full text

Computing, Computer Science, Formal Methods +14