Affeldt Reynald
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)
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 (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'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.
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 ...
Reynald Affeldt (@ReynaldAffeldt) / X
Reynald Affeldt's posts ... coqtokyo 第41回MathComp Book勉強会 に参加を申し込みました！ ... 今年のTPPは九州! https://math.nagoya-u.ac.jp/~garrigue/tpp2024/…
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 - 日本 | プロフェッショナルプロフィール - LinkedIn
場所: 日本 · LinkedInのつながり132人。10億人のメンバーを擁するプロフェッショナルコミュニティであるLinkedInでReynald Affeldtさんのプロフィールを閲覧しま ...
@affeldt-aist affeldt-aist Follow · Overview Repositories 24 Projects 0 ... https://staff.aist.go.jp/reynald.affeldt/ · https://orcid.org/0000-0002-2327 ...
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 ...
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan. Personal website: https://staff.aist.go.jp/reynald.affeldt/.
Affeldt Reynald (40415641) - KAKEN — Researchers
Affiliation (Current)：国立研究開発法人産業技術総合研究所,情報・人間工学領域,上級主任研究員, Research Field：Software,Software,Basic Section 60010:Theory of ...
A Library for Formal Verification of Low-level Programs
seplog/: A formalization of Separation logic [John C. Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures. In LICS 2002, IEEE].
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 ...