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 = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/bruni2024types.pdf}{pdf preprint} \href{https://types2024.itu.dk/abstracts.pdf}{open access}}
}

@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 = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/saito2023tyde.pdf}{pdf preprint} \href{https://icfp23.sigplan.org/details/tyde-2023/11/An-Intrinsically-typed-Probabilistic-Programming-Language-in-Coq-Extended-Abstract-}{open access}}
}

@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 = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/coq2023-friendly.pdf}{pdf preprint} \href{https://github.com/affeldt-aist/monae}{project page} \href{https://coq-workshop.gitlab.io/2023/abstracts/coq2023_monadic-reasoning.pdf}{open access}}
}

@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 = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/coq2021-measure-lebesgue.pdf}{pdf preprint} \href{https://github.com/math-comp/analysis}{project page} \href{https://coq-workshop.gitlab.io/2021/abstracts/Coq2021-01-01-lebesgue-measure.pdf}{open access}}
}

@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 = {\href{https://coq-workshop.gitlab.io/2021/abstracts/Coq2021-01-02-mathcomp-hierarchy-builder.pdf}{open access}}
}

@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 = {\href{https://staff.aist.go.jp/reynald.affeldt/coq2019/coqws2019-affeldt-garrigue-qi-tanaka.pdf}{open access}}
}

@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 = {\href{https://github.com/math-comp/analysis}{project page} \href{http://staff.aist.go.jp/reynald.affeldt/documents/coqws-reals.pdf}{pdf preprint}}
}

@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 = {\href{https://staff.aist.go.jp/reynald.affeldt/ecc/}{project page}}
}

@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 = {\href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}

@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 = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/space06.pdf}{pdf preprint} Informal proceedings. Pages 61--72 \href{http://staff.aist.go.jp/reynald.affeldt/documents/nicolas-space06.pdf}{slides} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}

This file was generated by bibtex2html 1.99.