Kazuhiko Sakaguchi

According to our database, Kazuhiko Sakaguchi authored at least 8 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free.

Cyril Cohen, Kazuhiko Sakaguchi

Proc. ACM Program. Lang., 2025

2024

A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free.

Cyril Cohen, Kazuhiko Sakaguchi

CoRR, 2024

2022

Reflexive Tactics for Algebra, Revisited.

Kazuhiko Sakaguchi

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2020

Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description).

Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Validating Mathematical Structures.

Kazuhiko Sakaguchi

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.

Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2018

Program Extraction for Mutable Arrays.

Kazuhiko Sakaguchi

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2014

An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing.

Reynald Affeldt, Kazuhiko Sakaguchi

J. Formaliz. Reason., 2014