Polymorphic Binding-Time Analysis

Clock analysis of synchronous dataflow programs

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Module-sensitive program specialisation

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Minimal typings in atomic subtyping

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

From polyvariant flow information to intersection and union types

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Inference of polymorphic and conditional strictness properties

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Online-and-offline partial evaluation (extended abstract): a mixed approach

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

A Hybrid Approach to Online and Offline Partial Evaluation

Higher-Order and Symbolic Computation

Optimal Representations of Polymorphic Types with Subtyping

Higher-Order and Symbolic Computation

A Prototype Dependency Calculus

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems

Boolean Constraints for Binding-Time Analysis

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects

Fragmental Specialization

SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation

Type and Effect Systems

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Binding-Time Analysis for Polymorphic Types

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

A Static Calculus of Dependencies for the -Cube

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Modular control-flow analysis with rank 2 intersection types

Mathematical Structures in Computer Science

Exact flow analysis

Mathematical Structures in Computer Science

Inlining as staged computation

Journal of Functional Programming

From Polyvariant flow information to intersection and union types

Journal of Functional Programming

Two-level languages for program optimization

Theoretical Computer Science - Mathematical foundations of programming semantics

Polymorphic specialization for ML

ACM Transactions on Programming Languages and Systems (TOPLAS)

Binding-time analysis by constraint solving a modular and higher-order approach for mercury

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Tag-Free combinators for binding-time polymorphic program generation

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming

Model Checking Higher-Order Programs

Journal of the ACM (JACM)