Lambda-Definition of Function(al)s by Normal Forms

Incremental Inference of Partial Types

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science

General Recursion on Second Order Term Algebras

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications

First-class patterns

Journal of Functional Programming

Reasoning about constants in nominal isabelle or how to formalize the second fixed point theorem

CPP'11 Proceedings of the First international conference on Certified Programs and Proofs

Fixed Point Equations Inside the Algebra of Normal Forms

Fundamenta Informaticae