Nick Benton

Citat de

	Toate	Din 2020
Referințe bibliografice	4550	893
h-index	36	16
i10-index	51	25

240

120

180

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 53 44 50 61 64 73 73 71 72 92 111 186 156 185 165 185 186 133 170 174 206 173 200 219 209 228 176 190 139 206 175 7

Acces public

Afișați-le pe toate

1 articol

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Andrew KennedyFacebook LondonAdresă de e-mail confirmată pe fb.com
Martin HylandProfessor of Mathematical Logic, CambridgeAdresă de e-mail confirmată pe dpmms.cam.ac.uk
Gavin BiermanOracleAdresă de e-mail confirmată pe oracle.com
Neelakantan R. KrishnaswamiUniversity of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
Valeria de PaivaTopos Institute, University of BirminghamAdresă de e-mail confirmată pe topos.institute
Chung-Kil HurSeoul National UniversityAdresă de e-mail confirmată pe sf.snu.ac.kr
Luca CardelliUniversity of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
Vivek NigamAppleAdresă de e-mail confirmată pe apple.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresă de e-mail confirmată pe chalmers.se
Lennart BeringerAdresă de e-mail confirmată pe pm.me
Cédric FournetMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
Claudio RussoMicrosoft Research LtdAdresă de e-mail confirmată pe microsoft.com
Eugenio MoggiProfessor of Computer Science, Genova UniversityAdresă de e-mail confirmată pe unige.it
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresă de e-mail confirmată pe inf.ed.ac.uk
Conor McBrideReader, University of StrathclydeAdresă de e-mail confirmată pe strath.ac.uk
Jan HoffmannCarnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
Pierre-Evariste DagandCNRSAdresă de e-mail confirmată pe evr.ist
nicolas tabareauInriaAdresă de e-mail confirmată pe inria.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesAdresă de e-mail confirmată pe umn.edu

Urmăriți

Nick Benton

Engineering Manager, Facebook

Adresă de e-mail confirmată pe fb.com - Pagina de pornire

Programming Languages Semantics Type Systems Logic


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Simple relational correctness proofs for static analyses and program transformations N Benton ACM SIGPLAN Notices 39 (1), 14-25, 2004	460	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	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	164	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	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	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	92*	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	68	2012

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori