| 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 | 577 | 2006 |
| Understanding typescript G Bierman, M Abadi, M Torgersen European Conference on Object-Oriented Programming, 257-281, 2014 | 549 | 2014 |
| Separation logic and abstraction M Parkinson, G Bierman Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 430 | 2005 |
| A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland International Conference on Typed Lambda Calculi and Applications, 75-90, 1993 | 283 | 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 | 253 | 2005 |
| What is a categorical model of intuitionistic linear logic? GM Bierman International Conference on Typed Lambda Calculi and Applications, 78-93, 1995 | 246 | 1995 |
| On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65 (3), 383-416, 2000 | 241 | 2000 |
| Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008 | 203 | 2008 |
| 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 | 187 | 2015 |
| Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of Functional Programming 8 (2), 177-193, 1998 | 181 | 1998 |
| MJ: An imperative core calculus for Java and Java with effects GM Bierman, MJ Parkinson, AM Pitts University of Cambridge, Computer Laboratory, 2003 | 180 | 2003 |
| On intuitionistic linear logic GM Bierman University of Cambridge, Computer Laboratory, 1994 | 169 | 1994 |
| The Essence of Data Access in Cω The Power is in the Dot! G Bierman, E Meijer, W Schulte European Conference on Object-Oriented Programming, 287-311, 2005 | 163 | 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 | 135 | 2011 |
| Term assignment for intuitionistic linear logic N Benton, G Bierman, V de Paiva, M Hyland Technical Report 262, Computer Laboratory, University of Cambridge, 1992 | 135 | 1992 |
| First-class relationships in an object-oriented language G Bierman, A Wren European Conference on Object-Oriented Programming, 262-286, 2005 | 128 | 2005 |
| Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland International Workshop on Computer Science Logic, 61-84, 1992 | 121 | 1992 |
| Formalizing dynamic software updating G Bierman, M Hicks, P Sewell, G Stoyle Proceedings of the Second International Workshop on Unanticipated Software …, 2003 | 118 | 2003 |
| Adding dynamic types to c G Bierman, E Meijer, M Torgersen European Conference on Object-Oriented Programming, 76-100, 2010 | 102 | 2010 |
| Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996 | 97 | 1996 |
Erik MeijerMicrosoftVerified email at meijcrosoft.com
