Affeldt Reynald

アフェルトレナルド | Affeldt Reynald

Affiliation and department：
Homepage URL (1)： https://staff.aist.go.jp/reynald.affeldt/

Research field (1)： Software

Papers (41)：

Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. A trustful monad for axiomatic reasoning with probability and nondeterminism. Journal of Functional Programming. 2021. 31. E17
Reynald Affeldt, David Nowak. Extending Equational Monadic Reasoning with Monad Transformers. 26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics. 2021. 188. 2:1-2:21
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. Reasoning with Conditional Probabilities and Joint Distributions in Coq. Computer Software. 2020. 37. 3. 79-95
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. Formal Adventures in Convex and Conical Spaces. Lecture Notes in Computer Science; 13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Forli, Italy, July 26--31, 2020. 2020. 12236. 23-38
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi. Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. Lecture Notes in Artificial Intelligence; 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June 29--July 6, 2020. 2020. 12167. 3-20

ｍore...

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page