The following pages link to Kazutaka Matsuda (Q526436):
Displaying 16 items.
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- Functional programs as compressed data (Q526441) (← links)
- Applicative bidirectional programming with lenses (Q2981943) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking (Q3190126) (← links)
- A Grammar-Based Approach to Invertible Programs (Q3558241) (← links)
- Gradual Refinement (Q3575282) (← links)
- Three Complementary Approaches to Bidirectional Programming (Q4649378) (← links)
- Marker-Directed Optimization of UnCAL Graph Transformations (Q4909319) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- Bidirectionalization transformation based on automatic derivation of view complement functions (Q5168924) (← links)
- Combining syntactic and semantic bidirectionalization (Q5176938) (← links)
- Bidirectionalizing graph transformations (Q5176941) (← links)
- FliPpr: A Prettier Invertible Printing System (Q5326279) (← links)
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins (Q5398330) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)
