Reynald Affeldt
Reynald Affeldt's Homepage ... I am a chief senior research scientist (上級主任研究員) at AIST (National Institute of Advanced Industrial Science and Technology).
Reynald Affeldt - Google Scholar
National Institute of Advanced Industrial Science and Technology - Cited by 800 - Computer Science
Reynald Affeldt, Zachary Stone: A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. CoRR abs/2403.18229 (2024)
Reynald Affeldt (0000-0002-2327-953X) - ORCID
Reynald Affeldt · 0000-0002-2327-953X · Personal information · Activities.
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan. Personal website: https://staff.aist.go.jp/reynald.affeldt/.
Reynald Affeldt | IEEE Xplore Author Details
Affiliations: [National Institute of Advanced Industrial Science and Technology].
Reynald Affeldt's research works | National Institute of Advanced ...
Reynald Affeldt's 43 research works with 460 citations, including: Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq.
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan. Personal website: https://staff.aist.go.jp/reynald.affeldt/.
Reynald Affeldt is on Facebook. Join Facebook to connect with Reynald Affeldt and others you may know. Facebook gives people the power to share and...
Reynald Affeldt - APLAS 2023 - Conferences - Researchr
APLAS · Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq · Environment-Friendly Monadic Equational Reasoning for OCaml. Show ...
@affeldt-aist affeldt-aist Follow · Overview Repositories 24 Projects 0 ... https://staff.aist.go.jp/reynald.affeldt/ · https://orcid.org/0000-0002-2327 ...
Reynald Affeldt - 日本 | プロフェッショナルプロフィール - LinkedIn
場所: 日本 · LinkedInのつながり132人。10億人のメンバーを擁するプロフェッショナルコミュニティであるLinkedInでReynald Affeldtさんのプロフィールを閲覧しま ...
Reynald Affeldt (@ReynaldAffeldt) / X
Reynald Affeldt's posts ... coqtokyo 第41回MathComp Book勉強会 に参加を申し込みました！ ... 今年のTPPは九州! https://math.nagoya-u.ac.jp/~garrigue/tpp2024/…
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan. Personal website: https://staff.aist.go.jp/reynald.affeldt/.
Affeldt, N. Marti, et al. GNU GPLv3. *) (* seplog (c) AIST 2014-2018. R. Affeldt et al ... Contact information: reynald dot affeldt at aist dot go dot jp.
Affeldt Reynald | Researcher Information | J-GLOBAL
Researcher "Affeldt Reynald" Detailed information of the J-GLOBAL is an information service managed by the Japan Science and Technology Agency (hereinafter ...
A Practical Formalization of Monadic Equational Reasoning ... - arXiv
From: Reynald Affeldt [view email] [v1] Mon, 11 Dec 2023 04:15:52 UTC (109 KB). Full-text links: Access Paper: View a PDF of the paper titled ...
Experimenting with Monadic Equational Reasoning in Coq Reynald ...
Experimenting with Monadic Equational Reasoning in Coq Reynald Affeldt · David Nowak · Published 2018 · Computer Science, Mathematics.
Documents authored by Affeldt, Reynald - DROPS - Schloss Dagstuhl
Taming Differentiable Logics with Coq Formalisation. Authors: Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Ślusarz, and Kathrin Stark.
A Comprehensive Overview of the Lebesgue Differentiation ...
From: Reynald Affeldt [view email] [v1] Wed, 27 Mar 2024 03:32:15 UTC (34 KB) [v2] Sun, 30 Jun 2024 09:45:42 UTC (39 KB). Full-text links ...