@misc{bruni2024types, author = {Reynald Affeldt and Alessandro Bruni and Pierre Roux and Takafumi Saikawa}, title = {Yet another formal theory of probabilities (with an application to random sampling)}, howpublished = {30th International Conference on Types for Proofs and Programs (TYPES 2024), Copenhagen, Denmark, June 10--14, 2024}, month = {Jun}, year = {2024}, abstract = {} }
@misc{saito2023tyde, author = {Ayumu Saito and Reynald Affeldt}, title = {An Intrinsically-typed Probabilistic Programming Language in {Coq} (Extended Abstract)}, howpublished = {The Workshop on Type-Driven Development (TyDe 2023), Seattle, Washington, United States, September 4, 2023}, month = {Sep}, year = {2023}, abstract = {} }
@misc{garrigue2023coq, author = {Reynald Affeldt and Jacques Garrigue and Takafumi Saikawa}, title = {Environment-friendly monadic equational reasoning for {OCaml}}, howpublished = {The Coq Workshop 2023, Białystok, Poland, July 31, 2023}, month = {Jul}, year = {2023}, abstract = {} }
@misc{affeldt2021coq, author = {Reynald Affeldt and Cyril Cohen}, title = {Formalization of the {Lebesgue} Measure in {MathComp-Analysis}}, howpublished = {The Coq Workshop 2021, online, July 2, 2021}, month = {Jul}, year = {2021}, abstract = {} }
@misc{tassi2021coq, author = {Reynald Affeldt and Xavier Allamigeon and Yves Bertot and Quentin Canu and Cyril Cohen and Pierre Roux and Kazuhiko Sakaguchi and Enrico Tassi and Laurent Théry and Anton Trunov}, title = {Porting the {Mathematical Components} library to {Hierarchy Builder}}, howpublished = {The Coq Workshop 2021, online, July 2, 2021}, month = {Jul}, year = {2021}, abstract = {} }
@misc{xuanrui2019coq, author = {Reynald Affeldt and Jacques Garrigue and Xuanrui Qi and Kazunari Tanaka}, title = {Experience Report: Type-Driven Development of Certified Tree Algorithms in {Coq}}, howpublished = {The Coq Workshop 2019, Portland, OR, USA, September 8, 2019}, month = {Sep}, year = {2019}, abstract = {} }
@misc{cohen2018coq, author = {Reynald Affeldt and Cyril Cohen and Assia Mahboubi and Damien Rouhling and Pierre-Yves Strub}, title = {Classical Analysis with {Coq}}, howpublished = {The Coq Workshop 2018, Oxford, UK, July 8, 2018}, month = {Jul}, year = {2018}, abstract = {} }
@misc{affeldt2014coq, author = {Reynald Affeldt and Jacques Garrigue}, title = {Formalization of Error-correcting Codes using {SSReflect}}, howpublished = {The 6th Coq Workshop, Vienna, Austria, July 7, 2014}, month = {Jul}, year = {2014}, abstract = {} }
@misc{affeldt2013coq, author = {Reynald Affeldt and Kazuhiko Sakaguchi}, title = {First Building Blocks for Implementations of Security Protocols Verified in {Coq}}, howpublished = {The 5th Coq Workshop, Rennes, France, July 22, 2013}, month = {Jul}, year = {2013}, abstract = {} }
@misc{marti2006space, author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa}, title = {Verification of the Heap Manager of an Operating System using Separation Logic}, howpublished = {The 3rd Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE 2006), Charleston SC, USA, January 14, 2006}, month = {Jan}, year = {2006}, abstract = {Informal proceedings. Pages 61--72} }
This file was generated by bibtex2html 1.99.