Alexander S. Green
发表
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
RC.
Thorsten Altenkirch,
Alexander S. Green,
2008,
Electron. Notes Theor. Comput. Sci..
Alexander S. Green,
A. S. Green,
2010
.
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
PLDI.