| |
| 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 | |
| 1 | Lars Birkedal | [1] [2] [3] |