Follow
Jakob Botsch Nielsen
Jakob Botsch Nielsen
Unknown affiliation
Verified email at cs.au.dk - Homepage
Title
Cited by
Cited by
Year
ConCert: a smart contract certification framework in Coq
D Annenkov, JB Nielsen, B Spitters
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
422020
Smart contract interactions in Coq
JB Nielsen, B Spitters
International Symposium on Formal Methods, 380-391, 2019
212019
Extracting smart contracts tested and verified in Coq
D Annenkov, M Milo, JB Nielsen, B Spitters
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
142021
Extracting functional programs from Coq, in Coq
D Annenkov, M Milo, JB Nielsen, B Spitters
Journal of Functional Programming 32, e11, 2022
82022
Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
M Sozeau, Y Forster, M Lennon-Bertrand, JB Nielsen, N Tabareau, ...
62023
Extending MetaCoq Erasure: Extraction to Rust and Elm
D Annenkov, M Milo, JB Nielsen, B Spitters
The Coq Workshop 2021, 2021
12021
Verifying, testing and running smart contracts in ConCert
D Annenkov, M Milo, JB Nielsen, B Spitters
12020
The system can't perform the operation now. Try again later.
Articles 1–7