| Publication | Date of Publication | Type |
|---|
| Implementing, and keeping in check, a DSL used in E-learning | 2021-07-06 | Paper |
| Improvements for free | 2021-03-10 | Paper |
Improvements for free
(available as arXiv preprint) | 2021-03-10 | Paper |
Formalizing semantic bidirectionalization and extensions with dependent types
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Free theorems in the presence of seq
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Concatenate, reverse and map vanish for free
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
Bidirectionalization for free! (Pearl)
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Combining syntactic and semantic bidirectionalization
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Free theorems involving type constructor classes, functional pearl
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
Much ado about two (pearl), a pearl on parallel prefix computation
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
Journal of Functional Programming | 2014-02-27 | Paper |
Three complementary approaches to bidirectional programming
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Proving properties about functions on lists involving element tests
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Refined typing to localize the impact of forced strictness on free theorems
Acta Informatica | 2012-03-23 | Paper |
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
Automatically generating counterexamples to naive free theorems
Functional and Logic Programming | 2010-05-04 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
Parametricity for Haskell with Imprecise Error Semantics
Lecture Notes in Computer Science | 2009-07-07 | Paper |
A family of syntactic logical relations for the semantics of Haskell-like languages
Information and Computation | 2009-04-14 | Paper |
Asymptotic Improvement of Computations over Free Monads
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Semantics and Pragmatics of New Shortcut Fusion Rules
Functional and Logic Programming | 2008-04-11 | Paper |
Formal efficiency analysis for tree transducer composition
Theory of Computing Systems | 2007-12-19 | Paper |
Selective strictness and parametricity in structural operational semantics, inequationally
Theoretical Computer Science | 2007-12-18 | Paper |
Deaccumulation techniques for improving provability
The Journal of Logic and Algebraic Programming | 2007-05-23 | Paper |
| scientific article; zbMATH DE number 5033863 (Why is no real title available?) | 2006-06-19 | Paper |
Composition of functions with accumulating parameters
Journal of Functional Programming | 2005-04-15 | Paper |
Using circular programs to deforest in accumulating parameters
Higher-Order and Symbolic Computation | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2090075 (Why is no real title available?) | 2004-08-12 | Paper |
