dblp.uni-trier.dewww.uni-trier.de

Gavin M. Bierman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
32EEGavin M. Bierman, Matthew J. Parkinson, James Noble: UpgradeJ: Incremental Typechecking for Class Upgrades. ECOOP 2008: 235-259
31EEStephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip: Relationships and associations in object-oriented languages. OOPSLA Companion 2008: 855-856
30EEMatthew J. Parkinson, Gavin M. Bierman: Separation logic, abstraction and inheritance. POPL 2008: 75-86
29EEGavin M. Bierman, Christoph Koch: Information systems preface. Inf. Syst. 33(4-5): 333-334 (2008)
28EEPeter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough: Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. J. Funct. Program. 18(4): 437-502 (2008)
2007
27EEGavin M. Bierman, Erik Meijer, Mads Torgersen: Lost in translation: formalizing proposed extensions to c#. OOPSLA 2007: 479-498
26EEGareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst. 29(4): (2007)
2006
25EEErik Meijer, Brian Beckman, Gavin M. Bierman: LINQ: reconciling object, relations and XML in the .NET framework. SIGMOD Conference 2006: 706
24EEGavin M. Bierman, Christoph Koch: Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005). SIGMOD Record 35(1): 45-47 (2006)
2005
23 Gavin M. Bierman, Christoph Koch: Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers Springer 2005
22EEGavin M. Bierman, Alisdair Wren: First-Class Relationships in an Object-Oriented Language. ECOOP 2005: 262-286
21EEGavin M. Bierman, Erik Meijer, Wolfram Schulte: The Essence of Data Access in Comega. ECOOP 2005: 287-311
20EEGareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194
19EEMatthew J. Parkinson, Gavin M. Bierman: Separation logic and abstraction. POPL 2005: 247-258
2003
18EEGavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time? ICFP 2003: 99-110
17EEGavin M. Bierman: Formal semantics and analysis of object queries. SIGMOD Conference 2003: 407-418
16EEGavin M. Bierman, Matthew J. Parkinson: Effects and effect inference for a core Java calculus. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2001
15EEAgathoniki Trigoni, Gavin M. Bierman: Inferring the Principal Type and the Schema Requirements of an OQL Query. BNCOD 2001: 185-201
14 Christian Urban, Gavin M. Bierman: Strong Normalisation of Cut-Elimination in Classical Logic. Fundam. Inform. 45(1-2): 123-155 (2001)
2000
13EEGavin M. Bierman, Andrew M. Pitts, Claudio V. Russo: Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. Electr. Notes Theor. Comput. Sci. 41(3): (2000)
12 Gavin M. Bierman: Program equivalence in a linear functional language. J. Funct. Program. 10(2): 167-190 (2000)
11 Gavin M. Bierman, Valeria de Paiva: On an Intuitionistic Modal Logic. Studia Logica 65(3): 383-416 (2000)
1999
10EEChristian Urban, Gavin M. Bierman: Strong Normalisation of Cut-Elimination in Classical Logic. TLCA 1999: 365-380
9EEGavin M. Bierman: A Classical Linear lambda-Calculus. Theor. Comput. Sci. 227(1-2): 43-78 (1999)
1998
8EEGavin M. Bierman: A Computational Interpretation of the lambda-µ-Calculus. MFCS 1998: 336-345
7 P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
1997
6EEMohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody: A New General Purpose Parallel Database System. ISPAN 1997: 2-8
1996
5 Gavin M. Bierman: A Note on Full Intuitionistic Linear Logic. Ann. Pure Appl. Logic 79(3): 281-287 (1996)
4EEGavin M. Bierman: Towards a Classical Linear lambda-calculus. Electr. Notes Theor. Comput. Sci. 3: (1996)
1995
3 Gavin M. Bierman: What is a Categorical Model of Intuitionistic Linear Logic? TLCA 1995: 78-93
1993
2 P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
1992
1 P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84

Coauthor Index

1Mohamad Afshar [6]
2Stephanie Balzer [31]
3J. Bates [6]
4Brian Beckman [25]
5Nick Benton (P. N. Benton) [1] [2] [7]
6Michael W. Hicks (Michael Hicks) [18] [20] [26] [28]
7Martin Hyland (J. M. E. Hyland) [1] [2]
8Christoph Koch [23] [24] [29]
9Erik Meijer [21] [25] [27] [31]
10K. Moody [6]
11Iulian Neamtiu [20] [26]
12Stephen Nelson [31]
13James Noble [31] [32]
14Valeria de Paiva [1] [2] [7] [11]
15Matthew J. Parkinson [16] [19] [30] [32]
16David J. Pearce [31]
17Andrew M. Pitts [13]
18Claudio V. Russo [13]
19Wolfram Schulte [21]
20Peter Sewell [18] [20] [26] [28]
21Jiri Soukup [31]
22Gareth Stoyle [18] [20] [26] [28]
23Frank Tip [31]
24Mads Torgersen [27]
25Agathoniki Trigoni (Niki Trigoni) [15]
26Christian Urban [10] [14]
27Keith Wansbrough [18] [28]
28Alisdair Wren [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)