Daniel K. Lee

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Daniel K. Lee, Karl Crary, Robert Harper
Towards a mechanized metatheory of standard ML. POPL (2007)
Ben L. Titzer, Daniel K. Lee, Jens Palsberg
Avrora: scalable sensor network simulation with precise timing. IPSN (2005)