Leaf Petersen
发表
Kim B. Bruce,
Leaf Petersen,
Adrian Fiech,
1997,
ECOOP.
Bratin Saha,
Tatiana Shpeisman,
Ali-Reza Adl-Tabatabai,
2007,
EuroSys '07.
P. Cheng,
R. Harper,
C. Stone,
2000
.
Frank Pfenning,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Enrico Pontelli,
Leaf Petersen,
Enrico Pontelli,
2010,
DAMP.
Frank Pfenning,
Karl Crary,
Robert Harper,
2003,
POPL '03.
Wei Liu,
Peng Guo,
Dan Zhang,
2007,
LCPC.
Derek Dreyer,
Perry Cheng,
Karl Crary,
2003,
TLDI '03.
Leaf Petersen,
Ali-Reza Adl-Tabatabai,
Vijay Menon,
2006,
POPL '06.
Adam Chlipala,
Robert Harper,
Leaf Petersen,
2005,
TLDI '05.
Leaf Petersen,
Robert Harper,
2005
.
Hai Liu,
Todd A. Anderson,
Neal Glew,
2013,
Haskell '13.