Nick Benton

Cited by

	All	Since 2018
Citations	4291	1066
h-index	36	18
i10-index	51	27

240

120

180

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202322 44 48 52 59 60 77 63 72 78 90 106 180 153 184 171 189 190 131 177 185 208 181 208 213 223 224 176 195 161 87

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew KennedyFacebook LondonVerified email at fb.com
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Gavin BiermanOracleVerified email at oracle.com
Valeria de PaivaUniversity of BirminghamVerified email at cs.bham.ac.uk
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Vivek NigamHuaweiVerified email at huawei.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Lennart BeringerPrinceton UniversityVerified email at cs.princeton.edu
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
Pierre-Evariste DagandCNRSVerified email at evr.ist
nicolas tabareauInriaVerified email at inria.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Vasileios KoutavasAssistant Professor, Trinity College DublinVerified email at scss.tcd.ie

Nick Benton

Engineering Manager, Facebook

Verified email at fb.com - Homepage

Programming Languages Semantics Type Systems Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Simple relational correctness proofs for static analyses and program transformations N Benton ACM SIGPLAN Notices 39 (1), 14-25, 2004	423	2004
Modern concurrency abstractions for C# N Benton, L Cardelli, C Fournet ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (5), 769-804, 2004	370	2004
A mixed linear and non-linear logic: Proofs, terms and models P Benton Computer Science Logic, 121-135, 1995	350	1995
A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland Typed Lambda Calculi and Applications, 75-90, 1993	266	1993
Compiling standard ML to Java bytecodes N Benton, A Kennedy, G Russell ACM SIGPLAN Notices 34 (1), 129-140, 1999	187	1999
Monads and effects N Benton, J Hughes, E Moggi Applied Semantics, 923-952, 2002	161	2002
Computational types from a logical perspective PN Benton, GM Bierman, VCV De Paiva Journal of Functional Programming 8 (2), 177-193, 1998	156	1998
Linear logic, monads and the lambda calculus N Benton, P Wadler Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996	147	1996
Term assignment for intuitionistic linear logic (preliminary report) N Benton, G Bierman, V De Paiva, M Hyland Technical report, University of Cambridge, Computer Laboratory, 1992	147*	1992
Biorthogonality, step-indexing and compiler correctness N Benton, CK Hur ACM SIGPLAN Notices 44 (9), 97-108, 2009	132	2009
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland Computer Science Logic, 61-84, 1993	105	1993
Ultrametric semantics of reactive programs NR Krishnaswami, N Benton Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011	101	2011
Strongly typed term representations in Coq N Benton, CK Hur, AJ Kennedy, C McBride Journal of Automated Reasoning, 1-19, 2010	101	2010
Relational reasoning in a nominal semantics for storage N Benton, B Leperchey Typed Lambda Calculi and Applications, 86-101, 2005	97	2005
Some domain theory and denotational semantics in Coq N Benton, A Kennedy, C Varming Theorem Proving in Higher Order Logics, 115-130, 2009	79	2009
Integrating dependent and linear types NR Krishnaswami, P Pradic, N Benton POPL 2015, 2015	76*	2015
High-level separation logic for low-level code JB Jensen, N Benton, A Kennedy Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	69	2013
Exceptional syntax N Benton, A Kennedy Journal of Functional Programming 11 (04), 395-410, 2001	67	2001
Strictness analysis of lazy functional programs PN Benton University of Cambridge, Computer Laboratory, 1993	67	1993
Interlanguage working without tears: Blending SML with Java N Benton, A Kennedy ACM SIGPLAN Notices 34 (9), 126-137, 1999	62	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors