A. Tolmach
发表
Eelco Visser,
Andrew P. Tolmach,
Zine-El-Abidine Benaissa,
1998,
ICFP '98.
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
J. Gregory Morrisett,
Andrew P. Tolmach,
J. G. Morrisett,
1993,
PPOPP '93.
Andrew P. Tolmach,
A. Tolmach,
1998,
Types in Compilation.
G. Morrisett,
A. Tolmach,
1992
.
A. Tolmach,
Gregory Morisett,
2022
.
Andrew Tolmach,
A. Tolmach,
1997
.
A. Appel,
A. Tolmach,
1993
.
Zaynah Dargaye,
Tahina Ramananandro,
Jean-Baptiste Tristan,
2007
.
Simon Peyton Jones,
Peng Li,
Simon Marlow,
2007
.
Andrew W. Appel,
Andrew P. Tolmach,
A. Appel,
1995,
Journal of Functional Programming.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Arthur Azevedo de Amorim,
2015
.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
M. L. Pepper,
L J Tolmach,
A P Tolmach,
1978,
Computers and biomedical research, an international journal.
Simon Peyton Jones,
Tony Hoare,
Andrew Tolmach,
2001
.
Andrew Tolmach,
CHR Chhak,
Sean Anderson,
2020,
CPP.
Andrew P. Tolmach,
Thomas Nordin,
A. Tolmach,
2001,
J. Funct. Program..
Simon L. Peyton Jones,
John Launchbury,
Mark Shields,
1998,
POPL '98.
Sergio Antoy,
Marius Nita,
Andrew P. Tolmach,
2004,
ICFP '04.
Sergio Antoy,
Andrew P. Tolmach,
A. Tolmach,
2003,
WFLP.
Andrew W. Appel,
Andrew P. Tolmach,
A. Appel,
1991,
PADD '91.
Andrew Tolmach,
A. Tolmach,
1992
.
Benjamin C. Pierce,
Catalin Hritcu,
Ana Nora Evans,
2017,
ArXiv.
Guido Wachsmuth,
Eelco Visser,
Andrew Tolmach,
2015,
PEPM.
Eelco Visser,
Guido Wachsmuth,
Andrew Tolmach,
2015
.
Simon L. Peyton Jones,
Peng Li,
Simon Marlow,
2007,
Haskell '07.
B. Pierce,
A. Tolmach,
Leonidas Lampropoulos,
2021,
2023 IEEE 36th Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce,
Antal Spector-Zabusky,
Catalin Hritcu,
2015,
2015 IEEE Symposium on Security and Privacy.
Benjamin C. Pierce,
Catalin Hritcu,
David Pichardie,
2014,
J. Comput. Secur..
Roberto Blanco,
Benjamin C. Pierce,
Leonidas Lampropoulos,
2021,
ArXiv.
Eelco Visser,
Andrew P. Tolmach,
Casper Bach Poulsen,
2016,
Dagstuhl Artifacts Ser..
Sergio Antoy,
Andrew P. Tolmach,
A. Tolmach,
1999,
Fuji International Symposium on Functional and Logic Programming.
Andrew P. Tolmach,
Dino Oliva,
A. Tolmach,
1998,
Journal of Functional Programming.
Mark P. Jones,
Andrew Tolmach,
Iavor S. Diatchki,
2007,
PLOS '07.
Michael Hanus,
Sergio Antoy,
Andrew P. Tolmach,
2004,
IFL.
Michael Hanus,
Sergio Antoy,
Andrew Tolmach,
2003
.
Benjamin C. Pierce,
Antal Spector-Zabusky,
Arthur Azevedo de Amorim,
2014
.
Andrew Tolmach,
Zino Benaissa,
A. Tolmach,
1999
.