Gavin Bierman

Cited by

	All	Since 2018
Citations	5400	1390
h-index	33	19
i10-index	55	28

300

150

225

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 37 44 65 64 49 72 48 62 60 86 98 158 204 232 250 261 254 290 222 262 259 259 292 281 264 264 222 236 216 188

Co-authors

Erik MeijerMicrosoftVerified email at meijcrosoft.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Valeria de PaivaUniversity 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 GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of TechnologyVerified email at njit.edu
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
James NobleCreative Research & ProgrammingVerified email at acm.org
Stratis ViglasGoogleVerified email at google.com
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
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	543	2006
Separation logic and abstraction M Parkinson, G Bierman Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	405	2005
Understanding typescript G Bierman, M Abadi, M Torgersen ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014	372	2014
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	271	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	228	1995
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000	222	2000
Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008	200	2008
MJ: An imperative core calculus for Java and Java with effects GM Bierman, MJ Parkinson, AM Pitts University of Cambridge, Computer Laboratory, 2003	168	2003
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	166	2005
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of functional programming 8 (2), 177-193, 1998	161	1998
On intuitionistic linear logic GM Bierman University of Cambridge, Computer Laboratory, 1994	154	1994
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	153	2015
Term assignment for intuitionistic linear logic N Benton, G Bierman, V de Paiva, M Hyland Technical Report 262, Computer Laboratory, University of Cambridge, 1992	150	1992
First-class relationships in an object-oriented language G Bierman, A Wren European Conference on Object-Oriented Programming, 262-286, 2005	126	2005
A co-relational model of data for large shared data banks E Meijer, G Bierman Communications of the ACM 54 (4), 49-58, 2011	120	2011
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	106	1993
Adding dynamic types to c G Bierman, E Meijer, M Torgersen European Conference on Object-Oriented Programming, 76-100, 2010	95	2010
Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996	95	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	86	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