Avrora: scalable sensor network simulation with precise timing. - Ben L. Titzer; Daniel K. Lee; Jens Palsberg (IPSN, 2005)

Towards a mechanized metatheory of standard ML. - Daniel K. Lee; Karl Crary; Robert Harper 001 (POPL, 2007)