Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
Verified low-level programming embedded in F
ICFP, 2017.
@article{ICFP-2017-ProtzenkoZRRWBD,
author = "Jonathan Protzenko and Jean Karim Zinzindohoué and Aseem Rastogi and Tahina Ramananandro and Peng Wang and Santiago Zanella Béguelin and Antoine Delignat-Lavaud and Catalin Hritcu and Karthikeyan Bhargavan and Cédric Fournet and Nikhil Swamy",
doi = "10.1145/3110261",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{Verified low-level programming embedded in F}",
volume = 1,
year = 2017,
}