Kazuhiko Sakaguchi
Orcid: 0000-0003-1855-5189
According to our database1,
Kazuhiko Sakaguchi
authored at least 7 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free.
CoRR, 2024
2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
2020
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description).
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.
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.
J. Formaliz. Reason., 2014