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

Not registered as user

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

Contributions

2022

CoqPL

  • Author of A Verified Pipeline from a Specification Language to Optimized, Safe Rust within the CoqPL-track

2021

ML

  • Author of Code Extraction from Coq to ML-like languages within the ML 2021-track

CPP

  • Author of Extracting Smart Contracts Tested and Verified in Coq within the CPP 2021-track
Share
xTue 20 May 05:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up