Derek Dreyer
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2011 | ||
|---|---|---|
| 4 | Logical Step-Indexed Logical Relations. Derek Dreyer, Amal Ahmed, Lars Birkedal. Logical Methods in Computer Science (7) (2011). Web SearchBibTeXDownload | |
| 2009 | ||
| 3 | Logical Step-Indexed Logical Relations. Derek Dreyer, Amal Ahmed, Lars Birkedal. LICS 2009, 71-80. Web SearchBibTeXDownload | |
| 2 | State-dependent representation independence. Amal Ahmed, Derek Dreyer, Andreas Rossberg. POPL 2009, 340-353. Web SearchBibTeXDownload | |
| 2003 | ||
| 1 | Typed compilation of recursive datatypes. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng. TLDI 2003, 98-108. Web SearchBibTeXDownload | |
from DBLP and Google Scholar