Gavin Bierman

Cited by

	All	Since 2020
Citations	5656	1107
h-index	34	17
i10-index	56	22

300

150

225

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 34 43 57 62 49 68 51 62 58 88 102 165 204 232 249 256 256 283 225 263 256 268 287 284 263 270 229 235 214 205 205 19

Co-authors

Erik MeijerMicrosoftVerified email at meijcrosoft.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of TechnologyVerified email at njit.edu
Stratis ViglasGoogleVerified email at google.com
James NobleCreative Research & ProgrammingVerified email at acm.org
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Fabian NagelAmazon Web ServicesVerified email at amazon.com
Karthikeyan BhargavanINRIAVerified email at inria.fr
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
Ewan TemperoUniversity of Auckland, Victoria University of WellingtonVerified email at auckland.ac.nz

Gavin Bierman

Oracle

Verified email at oracle.com

Programming languages type systems database query languages big data Java


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Linq: reconciling object, relations and xml in the. net framework E Meijer, B Beckman, G Bierman Proceedings of the 2006 ACM SIGMOD international conference on Management of …, 2006	563	2006
Understanding typescript G Bierman, M Abadi, M Torgersen ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014	472	2014
Separation logic and abstraction M Parkinson, G Bierman Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	414	2005
A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland Typed Lambda Calculi and Applications: International Conference on Typed …, 1993	284	1993
Mutatis mutandis: safe and predictable dynamic software updating G Stoyle, M Hicks, G Bierman, P Sewell, I Neamtiu ACM SIGPLAN Notices 40 (1), 183-194, 2005	250	2005
What is a categorical model of intuitionistic linear logic? GM Bierman Typed Lambda Calculi and Applications: Second International Conference on …, 1995	239	1995
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000	228	2000
Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008	203	2008
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of Functional Programming 8 (2), 177-193, 1998	174	1998
Safe & efficient gradual typing for TypeScript A Rastogi, N Swamy, C Fournet, G Bierman, P Vekris Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	172	2015
MJ: An imperative core calculus for Java and Java with effects GM Bierman, MJ Parkinson, AM Pitts University of Cambridge, Computer Laboratory, 2003	171	2003
On intuitionistic linear logic GM Bierman University of Cambridge, Computer Laboratory, 1994	163	1994
The Essence of Data Access in Cω The Power is in the Dot! G Bierman, E Meijer, W Schulte ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	162	2005
Term assignment for intuitionistic linear logic N Benton, G Bierman, V de Paiva, M Hyland Technical Report 262, Computer Laboratory, University of Cambridge, 1992	134	1992
A co-relational model of data for large shared data banks E Meijer, G Bierman Communications of the ACM 54 (4), 49-58, 2011	128	2011
First-class relationships in an object-oriented language G Bierman, A Wren European Conference on Object-Oriented Programming, 262-286, 2005	126	2005
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993	113	1993
Adding dynamic types to c G Bierman, E Meijer, M Torgersen European Conference on Object-Oriented Programming, 76-100, 2010	100	2010
Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996	94	1996
Gradual typing embedded securely in JavaScript N Swamy, C Fournet, A Rastogi, K Bhargavan, J Chen, PY Strub, ... ACM SIGPLAN Notices 49 (1), 425-437, 2014	91	2014

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