• Sign in
  • Sign up
conf.researchr.org / Mikkel Milo
  • ICFP 2021 profile
  • POPL 2021 profile
  • POPL 2022 profile

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

Share
xThu 19 May 23:28
using conf.researchr.org (v1.55.6)
Support page
Sign Up