Breitner, Joachim

1. Wasm SpecTec: Engineering a Formal Language Standard
   2023/11/13 by Joachim Breitner, Philippa Gardner, Breitner, Joachim +19 · 2 voices
   #cs.PL
2. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
   2018/03/19 by Joachim Breitner, Breitner, Joachim, Antal Spector-Zabusky +9 · 1 voice
   #cs.PL
3. Type variables in patterns
   2018/06/09 by Richard A. Eisenberg, Eisenberg, Richard A., Joachim Breitner +3 · 1 voice
   Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Distributed and Parallel Computing Systems #Scientific Computing and Data Management #cs.PL
4. A promise checked is a promise kept: Inspection Testing
   2018/03/19 by Joachim Breitner, Breitner, Joachim · 1 voice
   #cs.PL
5. Embracing a mechanized formalization gap
   2019/10/25 by Spector-Zabusky, Antal, Breitner, Joachim, Li, Yao +1 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)