Jakob Botsch Nielsen
- Correct and Complete Type Checking and Certified Erasure for Coq , in Coq
2024/11/27 by Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand +4 · 7 citations
Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
- Smart Contract Interactions in Coq
2019/11/12 by Jakob Botsch Nielsen, Bas Spitters · 1 voice
Computer Science · #cs.LO #cs.PL