Nick Benton

Cited by

	All	Since 2019
Citations	4538	1111
h-index	36	19
i10-index	51	29

240

120

180

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 52 44 50 61 64 73 73 71 72 92 111 186 156 183 165 185 186 133 170 174 206 173 201 215 213 228 176 190 139 205 173

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
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Vivek NigamAppleVerified email at apple.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Lennart BeringerVerified email at pm.me
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified 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
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerified email at umn.edu

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	459	2004
A mixed linear and non-linear logic: Proofs, terms and models P Benton Computer Science Logic, 121-135, 1995	387	1995
Modern concurrency abstractions for C# N Benton, L Cardelli, C Fournet ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (5), 769-804, 2004	380	2004
A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland Typed Lambda Calculi and Applications, 75-90, 1993	286	1993
Compiling standard ML to Java bytecodes N Benton, A Kennedy, G Russell ACM SIGPLAN Notices 34 (1), 129-140, 1999	193	1999
Computational types from a logical perspective PN Benton, GM Bierman, VCV De Paiva Journal of Functional Programming 8 (2), 177-193, 1998	173	1998
Monads and effects N Benton, J Hughes, E Moggi Applied Semantics, 923-952, 2002	163	2002
Linear logic, monads and the lambda calculus N Benton, P Wadler Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996	157	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	149*	1992
Biorthogonality, step-indexing and compiler correctness N Benton, CK Hur ACM SIGPLAN Notices 44 (9), 97-108, 2009	141	2009
Strongly typed term representations in Coq N Benton, CK Hur, AJ Kennedy, C McBride Journal of Automated Reasoning, 1-19, 2010	116	2010
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland Computer Science Logic, 61-84, 1993	113	1993
Ultrametric semantics of reactive programs NR Krishnaswami, N Benton Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 257-266, 2011	105	2011
Relational reasoning in a nominal semantics for storage N Benton, B Leperchey Typed Lambda Calculi and Applications, 86-101, 2005	96	2005
Integrating dependent and linear types NR Krishnaswami, P Pradic, N Benton POPL 2015, 2015	90*	2015
Some domain theory and denotational semantics in Coq N Benton, A Kennedy, C Varming Theorem Proving in Higher Order Logics, 115-130, 2009	82	2009
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	76	2013
Exceptional syntax N Benton, A Kennedy Journal of Functional Programming 11 (04), 395-410, 2001	73	2001
Strictness analysis of lazy functional programs PN Benton University of Cambridge, Computer Laboratory, 1993	71	1993
Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2012	67	2012

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