| |
| 2007 | ||
|---|---|---|
| 2 | EE | Daniel K. Lee, Karl Crary, Robert Harper: Towards a mechanized metatheory of standard ML. POPL 2007: 173-184 |
| 2005 | ||
| 1 | EE | Ben Titzer, Daniel K. Lee, Jens Palsberg: Avrora: scalable sensor network simulation with precise timing. IPSN 2005: 477-482 |
| 1 | Karl Crary | [2] |
| 2 | Robert Harper | [2] |
| 3 | Jens Palsberg | [1] |
| 4 | Ben Titzer | [1] |