Gavin M. Bierman

	2011
38		Erik Meijer, Gavin M. Bierman: A co-relational model of data for large shared data banks. Commun. ACM 54(4): 49-58 (2011)
	2010
37		Gavin M. Bierman, Erik Meijer, Mads Torgersen: Adding Dynamic Types to C#. ECOOP 2010: 76-100
36		Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy: Semantic subtyping with an SMT solver. ICFP 2010: 105-116
	2009
35		Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman: A theory of typed coercions and its applications. ICFP 2009: 329-340
	2008
34		Gavin M. Bierman, Matthew J. Parkinson, James Noble: UpgradeJ: Incremental Typechecking for Class Upgrades. ECOOP 2008: 235-259
33		Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew J. Parkinson: From Java To UpgradeJ: An Empirical Study. HotSWUp 2008
32		Stephen 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
31		Matthew J. Parkinson, Gavin M. Bierman: Separation logic, abstraction and inheritance. POPL 2008: 75-86
30		Gavin M. Bierman, Christoph Koch: Information systems preface. Inf. Syst. 33(4-5): 333-334 (2008)
29		Peter 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
28		Gavin M. Bierman, Erik Meijer, Mads Torgersen: Lost in translation: formalizing proposed extensions to c#. OOPSLA 2007: 479-498
27		Gareth 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
26		Erik Meijer, Brian Beckman, Gavin M. Bierman: LINQ: reconciling object, relations and XML in the .NET framework. SIGMOD Conference 2006: 706
25		Gavin M. Bierman, Christoph Koch: Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005). SIGMOD Record 35(1): 45-47 (2006)
	2005
24		Gavin M. Bierman, Christoph Koch: Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers Springer 2005
23		Gavin M. Bierman, Alisdair Wren: First-Class Relationships in an Object-Oriented Language. ECOOP 2005: 262-286
22		Gavin M. Bierman, Erik Meijer, Wolfram Schulte: The Essence of Data Access in Comega. ECOOP 2005: 287-311
21		Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194
20		Matthew J. Parkinson, Gavin M. Bierman: Separation logic and abstraction. POPL 2005: 247-258
	2003
19		Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time? ICFP 2003: 99-110
18		Gavin M. Bierman: Formal semantics and analysis of object queries. SIGMOD Conference 2003: 407-418
17		Gavin M. Bierman, Matthew J. Parkinson: Effects and effect inference for a core Java calculus. Electr. Notes Theor. Comput. Sci. 82(7): 82-107 (2003)
16		Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time ? SIGPLAN Notices 38(9): 99-110 (2003)
	2001
15		Agathoniki 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
13		Gavin 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): 70-88 (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
10		Christian Urban, Gavin M. Bierman: Strong Normalisation of Cut-Elimination in Classical Logic. TLCA 1999: 365-380
9		Gavin M. Bierman: A Classical Linear lambda-Calculus. Theor. Comput. Sci. 227(1-2): 43-78 (1999)
	1998
8		Gavin 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
6		Mohamad 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)
4		Gavin M. Bierman: Towards a Classical Linear lambda-calculus. Electr. Notes Theor. Comput. Sci. 3: 15-27 (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

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

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page