Nick Benton

Citada per

	Totes	Des de 2020
Citacions	4558	901
Índex h	36	16
Índex i10	51	25

240

120

180

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 53 44 50 61 64 73 75 71 70 92 111 186 156 185 165 186 186 132 170 174 206 174 200 219 209 228 176 190 139 205 179 12

Accés públic

Mostra-ho tot

1 article

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Andrew KennedyFacebook LondonCorreu electrònic verificat a fb.com
Martin HylandProfessor of Mathematical Logic, CambridgeCorreu electrònic verificat a dpmms.cam.ac.uk
Gavin BiermanOracleCorreu electrònic verificat a oracle.com
Neelakantan R. KrishnaswamiUniversity of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
Valeria de PaivaTopos Institute, University of BirminghamCorreu electrònic verificat a topos.institute
Chung-Kil HurSeoul National UniversityCorreu electrònic verificat a sf.snu.ac.kr
Luca CardelliUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk
Vivek NigamAppleCorreu electrònic verificat a apple.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityCorreu electrònic verificat a chalmers.se
Lennart BeringerCorreu electrònic verificat a pm.me
Cédric FournetMicrosoft ResearchCorreu electrònic verificat a microsoft.com
Claudio RussoMicrosoft Research LtdCorreu electrònic verificat a microsoft.com
Eugenio MoggiProfessor of Computer Science, Genova UniversityCorreu electrònic verificat a unige.it
Philip WadlerUniversity of Edinburgh and IOHK/IOGCorreu electrònic verificat a inf.ed.ac.uk
Conor McBrideReader, University of StrathclydeCorreu electrònic verificat a strath.ac.uk
Jan HoffmannCarnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
Pierre-Evariste DagandCNRSCorreu electrònic verificat a evr.ist
nicolas tabareauInriaCorreu electrònic verificat a inria.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesCorreu electrònic verificat a umn.edu

Segueix

Nick Benton

Engineering Manager, Facebook

Correu electrònic verificat a fb.com - Pàgina d'inici

Programming Languages Semantics Type Systems Logic


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Simple relational correctness proofs for static analyses and program transformations N Benton ACM SIGPLAN Notices 39 (1), 14-25, 2004	461	2004
A mixed linear and non-linear logic: Proofs, terms and models P Benton Computer Science Logic, 121-135, 1995	389	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	287	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	174	1998
Monads and effects N Benton, J Hughes, E Moggi Applied Semantics, 923-952, 2002	165	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	150*	1992
Biorthogonality, step-indexing and compiler correctness N Benton, CK Hur ACM SIGPLAN Notices 44 (9), 97-108, 2009	142	2009
Strongly typed term representations in Coq N Benton, CK Hur, AJ Kennedy, C McBride Journal of Automated Reasoning, 1-19, 2010	117	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	106	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	93*	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	77	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	68	2012

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors