Gavin Bierman

Cited by

	All	Since 2019
Citations	5594	1334
h-index	34	18
i10-index	55	25

300

150

225

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 33 43 57 62 49 68 50 62 59 86 98 162 207 230 249 255 255 283 224 263 256 264 286 281 261 268 228 235 213 208 182

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
James NobleCreative Research & ProgrammingVerified email at acm.org
Stratis ViglasGoogleVerified email at google.com
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	561	2006
Understanding typescript G Bierman, M Abadi, M Torgersen ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014	460	2014
Separation logic and abstraction M Parkinson, G Bierman Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	410	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	282	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	249	2005
What is a categorical model of intuitionistic linear logic? GM Bierman Typed Lambda Calculi and Applications: Second International Conference on …, 1995	238	1995
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000	227	2000
Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008	201	2008
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of Functional Programming 8 (2), 177-193, 1998	172	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	171	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
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
On intuitionistic linear logic GM Bierman University of Cambridge, Computer Laboratory, 1994	161	1994
Term assignment for intuitionistic linear logic N Benton, G Bierman, V de Paiva, M Hyland Technical Report 262, Computer Laboratory, University of Cambridge, 1992	133	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	127	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	92	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