Kazutaka Matsuda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches Formal Methods in System Design	2024-03-11	Paper
Modular inference of linear types for multiplicity-annotated arrows Programming Languages and Systems	2022-10-13	Paper
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics Mathematical Structures in Computer Science	2018-01-11	Paper
Polynomial-time inverse computation for accumulative functions with multiple data traversals Higher-Order and Symbolic Computation	2017-05-15	Paper
Functional programs as compressed data Higher-Order and Symbolic Computation	2017-05-15	Paper
Applicative bidirectional programming with lenses Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Bidirectionalizing graph transformations Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Combining syntactic and semantic bidirectionalization Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Pairwise reachability analysis for higher order concurrent programs by higher-order model checking CONCUR 2014 – Concurrency Theory	2014-09-15	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions Proceedings of the 12th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins Journal of Functional Programming	2014-02-27	Paper
FliPpr: a prettier invertible printing system Programming Languages and Systems	2013-08-05	Paper
Marker-directed optimization of UnCAL graph transformations Logic-Based Program Synthesis and Transformation	2013-03-13	Paper
Three complementary approaches to bidirectional programming Lecture Notes in Computer Science	2012-11-21	Paper
Gradual refinement. Blending pattern matching with data abstraction Lecture Notes in Computer Science	2010-07-26	Paper
A grammar-based approach to invertible programs Programming Languages and Systems	2010-05-04	Paper

Research outcomes over time

This page was built for person: Kazutaka Matsuda