Daniel K. Lee

According to our database, Daniel K. Lee authored at least 2 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Towards a mechanized metatheory of standard ML.

Daniel K. Lee, Karl Crary, Robert Harper

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2005

Avrora: scalable sensor network simulation with precise timing.

Ben L. Titzer, Daniel K. Lee, Jens Palsberg

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005