Kazutaka Matsuda

Available identifiers

Publication	Date of Publication	Type
\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches	2024-03-11	Paper
Modular Inference of Linear Types for Multiplicity-Annotated Arrows	2022-10-13	Paper
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics	2018-01-11	Paper
Polynomial-time inverse computation for accumulative functions with multiple data traversals	2017-05-15	Paper
Functional programs as compressed data	2017-05-15	Paper
Applicative bidirectional programming with lenses	2017-05-10	Paper
Bidirectionalizing graph transformations	2015-03-05	Paper
Combining syntactic and semantic bidirectionalization	2015-03-05	Paper
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking	2014-09-15	Paper
Bidirectionalization transformation based on automatic derivation of view complement functions	2014-07-21	Paper
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins	2014-02-27	Paper
FliPpr: A Prettier Invertible Printing System	2013-08-05	Paper
Marker-Directed Optimization of UnCAL Graph Transformations	2013-03-13	Paper
Three Complementary Approaches to Bidirectional Programming	2012-11-21	Paper
Gradual Refinement	2010-07-26	Paper
A grammar-based approach to invertible programs	2010-05-04	Paper

This page was built for person: Kazutaka Matsuda