• Publications
  • Influence
Binding-time analysis for Standard ML
TLDR
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. Expand
Hand-Writing Program Generator Generators
TLDR
We argue that the direct approach to program generator generators has a number of advantages compared to the indirect approach. Expand
Partial Evaluation of Standard ML
TLDR
This thesis describes offline partial evaluation of the core of Standard ML, a large typed functional language. Expand
Very Efficient Conversions
TLDR
Using program transformation techniques from the field of partial evaluation an automatic tool for generating very efficient conversions from equality-stating theorems. Expand
Partial Evaluation and Correctness