| Publication | Date of Publication | Type |
|---|
Contract lenses: Reasoning about bidirectional programs via calculation
Journal of Functional Programming | 2023-12-11 | Paper |
Constructing format-preserving printing from syntax-directed definitions
Science China Information Sciences | 2022-10-28 | Paper |
| A lazy desugaring system for evaluating programs with sugars | 2022-08-10 | Paper |
Generic recursive lens combinators and their calculation laws
Theoretical Computer Science | 2022-04-07 | Paper |
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
Journal of Functional Programming | 2022-03-17 | Paper |
| An efficient composition of bidirectional programs by memoization and lazy update | 2021-07-06 | Paper |
| Principles and practice of bidirectional programming in BiGUL | 2019-02-15 | Paper |
| Optimizing declarative parallel distributed graph processing by using constraint solvers | 2018-07-09 | Paper |
Tupling calculation eliminates multiple data traversals
Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Deriving structural hylomorphisms from recursive definitions
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems
Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
A clear picture of lens laws
Lecture Notes in Computer Science | 2015-08-27 | Paper |
The third homomorphism theorem on trees: downward \& upward lead to divide-and-conquer
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Iterative-free program analysis
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Structural recursion for querying ordered graphs
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | 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 |
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 |
Manipulating accumulative functions by swapping call-time and return-time computations
Journal of Functional Programming | 2014-02-27 | Paper |
Filter-embedding semiring fusion for programming with MapReduce
Formal Aspects of Computing | 2013-03-22 | Paper |
Marker-directed optimization of UnCAL graph transformations
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Generate, test, and aggregate. A calculation-based framework for systematic parallel programming with MapReduce
Programming Languages and Systems | 2012-06-22 | Paper |
Program calculation in Coq
Algebraic Methodology and Software Technology | 2011-01-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 |
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation | 2009-08-04 | Paper |
Deterministic second-order patterns
Information Processing Letters | 2009-07-09 | Paper |
Swapping Arguments and Results of Recursive Functions
Lecture Notes in Computer Science | 2009-04-02 | Paper |
A compositional framework for developing parallel programs on two-dimensional arrays
International Journal of Parallel Programming | 2007-11-14 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Advances in Neural Networks – ISNN 2005
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Mathematics of Program Construction
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Euro-Par 2004 Parallel Processing
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
A new parallel skeleton for general accumulative computations
International Journal of Parallel Programming | 2005-01-17 | Paper |
| scientific article; zbMATH DE number 2087539 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2036331 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 2018586 (Why is no real title available?) | 2003-12-16 | Paper |
| scientific article; zbMATH DE number 1966558 (Why is no real title available?) | 2003-08-18 | Paper |
| scientific article; zbMATH DE number 1950445 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1617318 (Why is no real title available?) | 2001-07-11 | Paper |
