Kazuhiko Sakaguchi

11 papers B 2Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free.
Proc. ACM Program. Lang.
Cyril Cohen, Kazuhiko Sakaguchi
2024 J jnl
A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free.
CoRR
Cyril Cohen, Kazuhiko Sakaguchi
2022 B conf
Reflexive Tactics for Algebra, Revisited.
ITP
Kazuhiko Sakaguchi
2022 J jnl
Reflexive tactics for algebra, revisited.
CoRR
Kazuhiko Sakaguchi
2020 — conf
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.
IJCAR (2)
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
2020 B conf
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description).
FSCD
Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi
2020 J jnl
Program extraction for mutable arrays.
Sci. Comput. Program.
Kazuhiko Sakaguchi
2020 — conf
Validating Mathematical Structures.
IJCAR (2)
Kazuhiko Sakaguchi
2020 J jnl
Validating Mathematical Structures.
CoRR
Kazuhiko Sakaguchi
2018 Misc conf
Program Extraction for Mutable Arrays.
FLOPS
Kazuhiko Sakaguchi
2014 J jnl
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing.
J. Formaliz. Reason.
Reynald Affeldt, Kazuhiko Sakaguchi