| Publication | Date of Publication | Type |
|---|
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 |
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 |
Write it recursively
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | 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 |
Manipulating accumulative functions by swapping call-time and return-time computations
Journal of Functional Programming | 2014-02-27 | Paper |
Program calculation in Coq
Algebraic Methodology and Software Technology | 2011-01-21 | 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 |
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 |
Mathematics of Program Construction
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-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 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 |
| scientific article; zbMATH DE number 30308 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 713864 (Why is no real title available?) | 1992-01-01 | Paper |
Preliminary arrangements of arguments in lazy evaluation
New Generation Computing | 1991-01-01 | Paper |
Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
New Generation Computing | 1988-01-01 | Paper |
Partial parametrization eliminates multiple traversals of data structures
Acta Informatica | 1987-01-01 | Paper |
Inserting injection operations to denotational specifications
New Generation Computing | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3759511 (Why is no real title available?) | 1982-01-01 | Paper |
