| Publication | Date of Publication | Type |
|---|
Incremental execution of transformation specifications
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Type inference for Datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Semantics of static pointcuts in aspectJ
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
abc : An Extensible AspectJ Compiler
Transactions on Aspect-Oriented Software Development I | 2009-06-26 | Paper |
Formalising and Verifying Reference Attribute Grammars in Coq
Programming Languages and Systems | 2009-03-31 | Paper |
| scientific article; zbMATH DE number 2087565 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080282 (Why is no real title available?) | 2004-08-04 | Paper |
Compiling embedded languages
Journal of Functional Programming | 2003-09-22 | Paper |
Universal regular path queries
Higher-Order and Symbolic Computation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1696596 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1738298 (Why is no real title available?) | 2002-05-06 | Paper |
Higher-order matching for program transformation
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1696901 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693488 (Why is no real title available?) | 2002-01-22 | Paper |
Container types categorically
Journal of Functional Programming | 2001-04-26 | Paper |
First-class attribute grammars
Informatica (Ljubljana) | 2001-03-12 | Paper |
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
Science of Computer Programming | 2000-11-28 | Paper |
More haste, less speed: lazy versus eager evaluation
Journal of Functional Programming | 1998-06-11 | Paper |
| scientific article; zbMATH DE number 977284 (Why is no real title available?) | 1997-02-11 | Paper |
Generic functional programming with types and relations
Journal of Functional Programming | 1996-08-21 | Paper |
| scientific article; zbMATH DE number 910715 (Why is no real title available?) | 1996-07-28 | Paper |
An algebraic construction of predicate transformers
Science of Computer Programming | 1995-02-19 | Paper |
Categories, relations and dynamic programming
Mathematical Structures in Computer Science | 1994-08-16 | Paper |
| scientific article; zbMATH DE number 512951 (Why is no real title available?) | 1994-04-07 | Paper |
| scientific article; zbMATH DE number 512948 (Why is no real title available?) | 1994-04-07 | Paper |
List partitions
Formal Aspects of Computing | 1993-06-29 | Paper |
Inductive data types for predicate transformers
Information Processing Letters | 1993-01-16 | Paper |
