Spector-Zabusky, Antal
- Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
2018/03/19 by Joachim Breitner, Antal Spector-Zabusky, Breitner, Joachim +9 · 1 voice
#cs.PL
- 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)