Nick Benton
发表
Nick Benton,
Andrew Kennedy,
Claudio V. Russo,
2004,
PPDP '04.
Nick Benton,
1992,
LFCS.
Martin Hofmann,
Nick Benton,
Vivek Nigam,
2014,
POPL.
Nick Benton,
Uri Zarfaty,
2007,
PPDP '07.
Nick Benton,
Robert Harper,
Kuen-Bang Hou,
2015
.
Nick Benton,
Neelakantan R. Krishnaswami,
Pierre Pradic,
2016
.
Nick Benton,
Andrew Kennedy,
2001,
Electron. Notes Theor. Comput. Sci..
Nick Benton,
2014
.
Nick Benton,
John Hughes,
Peter Dybjer,
2003
.
Martin Hofmann,
Nick Benton,
Vivek Nigam,
2013,
TLCA.
Nick Benton,
Neelakantan R. Krishnaswami,
Nick Benton,
2012,
ESOP.
Nick Benton,
Noah Torp-Smith,
2005
.
Nick Benton,
Nick Benton,
1999
.
Martin Hofmann,
Nick Benton,
J. Gregory Morrisett,
2008,
Types, Logics and Semantics for State.
Nick Benton,
2004
.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2009,
PPDP '09.
Nick Benton,
Patricia Johann,
2011
.
Lars Birkedal,
Nick Benton,
Andrew Kennedy,
2010
.
Martin Hofmann,
Nick Benton,
Vivek Nigam,
2018,
Log. Methods Comput. Sci..
Nick Benton,
2004
.
Nick Benton,
1995,
J. Funct. Program..
Nick Benton,
Andrew Kennedy,
George Russell,
1999
.
Nick Benton,
Andrew Kennedy,
2010
.
Nick Benton,
Nick Benton,
2016
.
Nick Benton,
John Hughes,
Eugenio Moggi,
2000,
APPSEM.
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1993,
TLCA.
Nick Benton,
Noah Torp-Smith,
2006
.
Nick Benton,
Andrew Kennedy,
Claudio V. Russo,
2016
.
Nick Benton,
Andrew Kennedy,
Nick Benton,
2010,
ACM SIGPLAN International Workshop on Types In Languages Design And Implementation.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010,
Modelling, Controlling and Reasoning About State.
Martin Hofmann,
Nick Benton,
Vivek Nigam,
2015,
PPDP.
Nick Benton,
Mateja Jamnik,
Josh Berdine,
2008,
Diagrams.
Luca Cardelli,
Nick Benton,
Cédric Fournet,
2002,
ECOOP.
Nick Benton,
2009
.
Nick Benton,
Andrew Kennedy,
Bruce J. McAdam,
2000,
Scottish Functional Programming Workshop.
Nick Benton,
Nick Benton,
2022
.
Nick Benton,
2005,
APLAS.
Nick Benton,
Peter Buchlovsky,
2007,
TLDI '07.
Chung-Kil Hur,
Nick Benton,
2010,
Modelling, Controlling and Reasoning About State.
Nick Benton,
2018,
PPDP.
Nick Benton,
Nick Benton,
2008,
FLOPS.
Nick Benton,
2006
.
Luca Cardelli,
Nick Benton,
Cédric Fournet,
2002,
TOPL.
Nick Benton,
Neelakantan R. Krishnaswami,
Pierre Pradic,
2015,
POPL.
Nick Benton,
Andrew Kennedy,
Carsten Varming,
2009,
TPHOLs.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010
.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2006,
APLAS.
Nick Benton,
Andrew Kennedy,
Nick Benton,
1999,
Electron. Notes Theor. Comput. Sci..
Nick Benton,
Robert Harper,
Kuen-Bang Hou,
2016,
Journal of Functional Programming.
Nick Benton,
2016
.
Nick Benton,
2006
.
Nick Benton,
Martin Hyland,
Nick Benton,
2003,
RAIRO Theor. Informatics Appl..
Nick Benton,
Neelakantan R. Krishnaswami,
Nick Benton,
2011,
ICFP.
Nick Benton,
Xavier Leroy,
2006
.
Nick Benton,
Nick Benton,
2004,
POPL.
Nick Benton,
Benjamin Leperchey,
2005,
TLCA.
Nick Benton,
Martin Hyland,
2002,
FICS.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2016,
A List of Successes That Can Change the World.
Chung-Kil Hur,
Nick Benton,
2010
.
Nick Benton,
Andrew Kennedy,
2010,
POPL 2010.
Nick Benton,
1996,
CSUR.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010,
Modelling, Controlling and Reasoning About State.
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1992,
CSL.
Nick Benton,
Valeria de Paiva,
Gavin M. Bierman,
1998,
Journal of Functional Programming.
Nick Benton,
Xavier Leroy,
2006,
Electron. Notes Theor. Comput. Sci..
Nick Benton,
Neelakantan R. Krishnaswami,
Jan Hoffmann,
2012,
POPL '12.
Nick Benton,
Nick Benton,
1994,
CSL.
Martin Hofmann,
Nick Benton,
J. Gregory Morrisett,
2008,
Types, Logics and Semantics for State.
Nick Benton,
Andrew Kennedy,
Nick Benton,
2001,
Journal of Functional Programming.
Nick Benton,
Nick Benton,
2013,
APLAS.
Nick Benton,
Claudio V. Russo,
Sam Lindley,
2005
.
Nick Benton,
Andrew Kennedy,
Jonas Braband Jensen,
2013,
POPL.
Nick Benton,
Andrew Kennedy,
Lennart Beringer,
2006
.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2007,
PPDP '07.
Nick Benton,
Martin Hofmann,
Greg Morrisett,
2008,
Types, Logics and Semantics for State.
Nick Benton,
Andrew Kennedy,
Claudio V. Russo,
2004,
IFL.
Nick Benton,
2006,
CSL.
Philip Wadler,
Nick Benton,
P. Wadler,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Martin Hofmann,
Nick Benton,
Vivek Nigam,
2018,
Sci. Comput. Program..
Nick Benton,
Andrew Kennedy,
1999,
ICFP '99.
Nick Benton,
Andrew Kennedy,
2001
.
Chung-Kil Hur,
Nick Benton,
Andrew Kennedy,
2011,
Journal of Automated Reasoning.
Nick Benton,
Andrew Kennedy,
George Russell,
1998,
ICFP '98.
Nick Benton,
2006
.
Nick Benton,
Andrew Kennedy,
Pierre-Évariste Dagand,
2013,
PPDP.
Nick Benton,
Nick Benton,
1993,
WSA.
Nick Benton,
Vivek Nigam,
Martin Hofmann,
2014
.
Chung-Kil Hur,
Nick Benton,
2009,
ICFP.
Nick Benton,
2016
.
Nick Benton,
Neelakantan R. Krishnaswami,
Nick Benton,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Nick Benton,
2007
.
Nicolas Tabareau,
Nick Benton,
2009,
TLDI '09.
Chung-Kil Hur,
Nick Benton,
2009
.
Nick Benton,
Vasileios Koutavas,
Nick Benton,
2008
.
Nick Benton,
Neelakantan R. Krishnaswami,
2010
.
Nick Benton,
2003
.
Nick Benton,
Valeria de Paiva,
Gavin Bierman,
1992
.