| 2016 |
J |
jnl |
J. Comput. Secur.
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
|
| 2015 |
J |
jnl |
CoRR
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
|
| 2014 |
A* |
conf |
POPL
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
|
| 2013 |
A |
conf |
CSF
Benoît Montagu, Benjamin C. Pierce, Randy Pollack
|
| 2013 |
— |
conf |
FOPARA
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
|
| 2013 |
— |
ed. |
LFMTP
Alberto Momigliano, Brigitte Pientka, Randy Pollack
|
| 2012 |
J |
jnl |
J. Autom. Reason.
Randy Pollack, Masahiko Sato, Wilmer Ricciotti
|
| 2011 |
— |
conf |
FET
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
|
| 2011 |
— |
conf |
PLOS@SOSP
André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan
|
| 2010 |
J |
jnl |
J. Symb. Comput.
Masahiko Sato, Randy Pollack
|
| 2008 |
A* |
conf |
POPL
Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich
|
| 2005 |
J |
jnl |
Fundam. Informaticae
Thierry Coquand, Randy Pollack, Makoto Takeyama
|
| 2005 |
— |
ed. |
MERLIN
Randy Pollack
|
| 2004 |
— |
conf |
TPHOLs
John Longley, Randy Pollack
|
| 2003 |
— |
conf |
TLCA
Thierry Coquand, Randy Pollack, Makoto Takeyama
|
| 2002 |
J |
jnl |
J. Symb. Comput.
Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
|
| 1993 |
— |
conf |
TYPES
Randy Pollack
|