dblp.uni-trier.dewww.uni-trier.de

Daniel K. Lee

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)