Hand-Writing Program Generator Generators. - Lars Birkedal; Morten Welinder (PLILP, 1994)

Very Efficient Conversions. - Morten Welinder (TPHOLs, 1995)

Binding-Time Analysis for Standard ML. - Lars Birkedal; Morten Welinder (LISP Symb. Comput., 1995)