Morten Welinder

	1995
4		Morten Welinder: Very Efficient Conversions. TPHOLs 1995: 340-352
3		Lars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. Lisp and Symbolic Computation 8(3): 191-208 (1995)
	1994
2		Lars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. PEPM 1994: 61-71
1		Lars Birkedal, Morten Welinder: Hand-Writing Program Generator Generators. PLILP 1994: 198-214

Coauthor Index

1

Lars Birkedal

[1] [2] [3]