Kazuhiko Sakaguchi

According to our database, Kazuhiko Sakaguchi authored at least 7 papers between 2014 and 2024.

Collaborative distances:

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

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

Program extraction for mutable arrays.

Kazuhiko Sakaguchi

Sci. Comput. Program., 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

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