Gavin Bierman

Cited by

	All	Since 2018
Citations	5273	1280
h-index	33	19
i10-index	53	26

300

150

225

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 27 47 62 66 50 67 47 63 62 80 100 158 206 235 244 266 255 282 220 259 268 265 288 278 265 267 223 238 221 66

Co-authors

Erik MeijerMicrosoftVerified email at meijcrosoft.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Valeria de PaivaUniversity of BirminghamVerified email at cs.bham.ac.uk
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 PittsProfessor 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
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Stratis ViglasGoogleVerified email at google.com
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	538	2006
Separation logic and abstraction M Parkinson, G Bierman Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	403	2005
Understanding typescript G Bierman, M Abadi, M Torgersen ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014	330	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	265	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	247	2005
What is a categorical model of intuitionistic linear logic? GM Bierman Typed Lambda Calculi and Applications: Second International Conference on …, 1995	227	1995
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000	216	2000
Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008	199	2008
MJ: An imperative core calculus for Java and Java with effects GM Bierman, MJ Parkinson, AM Pitts University of Cambridge, Computer Laboratory, 2003	167	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	161	2005
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of functional programming 8 (2), 177-193, 1998	156	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	148	2015
On intuitionistic linear logic GM Bierman University of Cambridge, Computer Laboratory, 1994	148	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	130	1992
First-class relationships in an object-oriented language G Bierman, A Wren ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	128	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	105	1993
Adding Dynamic Types to C G Bierman, E Meijer, M Torgersen ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010	94	2010
Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996	92	1996
Strong normalisation of cut-elimination in classical logic C Urban, GM Bierman Fundamenta Informaticae 45 (1-2), 123-155, 2001	84	2001

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