conf.researchr.org / Mikkel Milo

Not registered as user yet

Name:Mikkel Milo
Affiliation:Concordium Blockchain Research Center, Aarhus University

Contributions

CoqPL 2022 Author of A Verified Pipeline from a Specification Language to Optimized, Safe Rust within the CoqPL-track
ML 2021 Author of Code Extraction from Coq to ML-like languages within the ML 2021-track
CPP 2021 Author of Extracting Smart Contracts Tested and Verified in Coq within the CPP 2021-track