Morten Welinder
-
A temporal-logic approach to binding-time analysis
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Transparent optimisation of rewriting combinators
Journal of Functional Programming