inttalks_en.bib

@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.