Daniel K. Lee

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

Coauthor Index

1	Karl Crary	[2]
2	Robert Harper	[2]
3	Jens Palsberg	[1]
4	Ben Titzer	[1]

Colors in the list of coauthors