Alan Schmitt
发表
B. Pierce,
Nate Foster,
Alan Schmitt,
2007,
PLAN-X.
Benjamin C. Pierce,
Nate Foster,
Alan Schmitt,
2005,
POPL '05.
Gareth Smith,
Martin Bodin,
A. Charguéraud,
2014,
POPL.
Jorge A. Pérez,
D. Sangiorgi,
Ivan Lanese,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Alan Schmitt,
Petar Maksimovic,
P. Maksimovic,
2015,
ITP.
Alan Schmitt,
Jean-Bernard Stefani,
Sergueï Lenglet,
2009,
FoSSaCS.
Alan Schmitt,
Jean-Bernard Stefani,
A. Schmitt,
2004,
Global Computing.
Thomas Jensen,
Alan Schmitt,
Tamara Rezk,
2015,
TGC.
Benjamin C. Pierce,
Nate Foster,
Alan Schmitt,
2008,
POPL '08.
Ivan Lanese,
Claudio Antares Mezzina,
Michael Lienhardt,
2013,
ESOP.
Jean-Jacques Lévy,
Cédric Fournet,
Alan Schmitt,
2000,
IFIP TCS.
B. Pierce,
Nate Foster,
M. Greenwald,
2004
.