| 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 | 550 | 2006 |
| Understanding typescript G Bierman, M Abadi, M Torgersen ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 410 | 2014 |
| Separation logic and abstraction M Parkinson, G Bierman Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 407 | 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 | 275 | 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 | 233 | 1995 |
| On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000 | 225 | 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 | 169 | 2003 |
| Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of Functional Programming 8 (2), 177-193, 1998 | 167 | 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 | 160 | 2015 |
| 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 | 160 | 2005 |
| On intuitionistic linear logic GM Bierman University of Cambridge, Computer Laboratory, 1994 | 159 | 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 |
| 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 | 125 | 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 | 109 | 1993 |
| Adding dynamic types to c G Bierman, E Meijer, M Torgersen European Conference on Object-Oriented Programming, 76-100, 2010 | 98 | 2010 |
| Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996 | 93 | 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 | 88 | 2014 |
Erik MeijerMicrosoft在 meijcrosoft.com 的电子邮件经过验证
