Nick Benton

发表

Valeria C V de Paiva, Nick Benton, G. Bierman, 1992 .
Nick Benton, Andrew Kennedy, Nick Benton, 1999, Electron. Notes Theor. Comput. Sci..
Nick Benton, Valeria de Paiva, Gavin Bierman, 1992 .
Nick Benton, Martin Hyland, Nick Benton, 2003, RAIRO Theor. Informatics Appl..
Dana S. Scott, Nick Benton, A. Kennedy, 2009, TPHOLs.
Nick Benton, Martin Hofmann, Greg Morrisett, 2008, Types, Logics and Semantics for State.
Martin Hofmann, Lars Birkedal, Nick Benton, 2010 .
Nick Benton, Andrew Kennedy, George Russell, 1998, ICFP '98.
Nick Benton, Robert Harper, Kuen-Bang Hou, 2016, Journal of Functional Programming.
Martin Hofmann, Nick Benton, Andrew Kennedy, 2009, PPDP '09.
Luca Cardelli, Nick Benton, Cédric Fournet, 2002, TOPL.
Philip Wadler, Nick Benton, P. Wadler, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Martin Hofmann, Nick Benton, Andrew Kennedy, 2016, A List of Successes That Can Change the World.
Nick Benton, Andrew Kennedy, Jonas Braband Jensen, 2013, POPL.
Nick Benton, Valeria de Paiva, Gavin M. Bierman, 1992, CSL.
Nick Benton, Neelakantan R. Krishnaswami, Jan Hoffmann, 2012, POPL '12.
Nick Benton, Neelakantan R. Krishnaswami, Nick Benton, 2011, ICFP.
Nick Benton, Neelakantan R. Krishnaswami, Nick Benton, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Nick Benton, Andrew Kennedy, Nick Benton, 2010, ACM SIGPLAN International Workshop on Types In Languages Design And Implementation.
Nick Benton, John Hughes, Eugenio Moggi, 2000, APPSEM.
Martin Hofmann, Nick Benton, Vivek Nigam, 2015, PPDP.
Nick Benton, Vasileios Koutavas, Nick Benton, 2008 .
Nick Benton, Andrew Kennedy, Nick Benton, 2001, Journal of Functional Programming.
Nick Benton, Neelakantan R. Krishnaswami, Pierre Pradic, 2016 .
Nick Benton, Neelakantan R. Krishnaswami, Pierre Pradic, 2015, POPL.
Nick Benton, Neelakantan R. Krishnaswami, Nick Benton, 2012, ESOP.
Nick Benton, M. Hyland, 2003, RAIRO Theor. Informatics Appl..
Nick Benton, Nick Benton, 2008, FLOPS.
Nick Benton, Valeria de Paiva, Gavin M. Bierman, 1998, Journal of Functional Programming.
Nick Benton, Nick Benton, 1993, WSA.
Nick Benton, Andrew Kennedy, Bruce J. McAdam, 2000, Scottish Functional Programming Workshop.
Nick Benton, Vivek Nigam, Martin Hofmann, 2014 .