Randy Pollack

发表

Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, POPL.

Thierry Coquand, Makoto Takeyama, Randy Pollack, 2003, Fundam. Informaticae.

John Longley, Randy Pollack, 2004, TPHOLs.

Randy Pollack, Masahiko Sato, Wilmer Ricciotti, 2012, Journal of Automated Reasoning.

Andrew W. Appel, Arthur Charguéraud, Hervé Grall, 2007 .

Nicholas Ayache, Andrea Asperti, Claudio Sacerdoti Coen, 2011, FET.

Thierry Coquand, Makoto Takeyama, Randy Pollack, 2002 .

Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..

Randy Pollack, R. Pollack, 1994, TYPES.

Benjamin C. Pierce, Randy Pollack, Benoît Montagu, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.

Arthur Charguéraud, Benjamin C. Pierce, Stephanie Weirich, 2008, POPL '08.

Herman Geuvers, Freek Wiedijk, Randy Pollack, 2002, J. Symb. Comput..

Randy Pollack, Masahiko Sato, M. Sato, 2010, J. Symb. Comput..

Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.

Randy Pollack, Masahiko Sato, 2010 .

Helmut Schwichtenberg, Randy Pollack, Masahiko Sato, 2013 .

Herman Geuvers, Freek Wiedijk, Randy Pollack, 2002 .

Randy Pollack, R. Pollack, 2006 .