Search the dblp DataBase
Gavin M. Bierman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Agathoniki Trigoni, Gavin M. Bierman
Inferring the Principal Type and the Schema Requirements of an OQL Query. [Citation Graph (0, 0)][DBLP]
BNCOD, 2001, pp:185-201 [Conf] - P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
Linear Lambda-Calculus and Categorial Models Revisited. [Citation Graph (0, 0)][DBLP]
CSL, 1992, pp:61-84 [Conf] - Gavin M. Bierman, Erik Meijer, Wolfram Schulte
The Essence of Data Access in Comega. [Citation Graph (0, 0)][DBLP]
ECOOP, 2005, pp:287-311 [Conf] - Gavin M. Bierman, Alisdair Wren
First-Class Relationships in an Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
ECOOP, 2005, pp:262-286 [Conf] - Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Dynamic rebinding for marshalling and update, with destruct-time? [Citation Graph (0, 0)][DBLP]
ICFP, 2003, pp:99-110 [Conf] - Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody
A New General Purpose Parallel Database System. [Citation Graph (0, 0)][DBLP]
ISPAN, 1997, pp:2-8 [Conf] - Gavin M. Bierman
A Computational Interpretation of the lambda-µ-Calculus. [Citation Graph (0, 0)][DBLP]
MFCS, 1998, pp:336-345 [Conf] - Matthew J. Parkinson, Gavin M. Bierman
Separation logic and abstraction. [Citation Graph (0, 0)][DBLP]
POPL, 2005, pp:247-258 [Conf] - Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
Mutatis mutandis: safe and predictable dynamic software updating. [Citation Graph (0, 0)][DBLP]
POPL, 2005, pp:183-194 [Conf] - Gavin M. Bierman
Formal semantics and analysis of object queries. [Citation Graph (0, 0)][DBLP]
SIGMOD Conference, 2003, pp:407-418 [Conf] - Erik Meijer, Brian Beckman, Gavin M. Bierman
LINQ: reconciling object, relations and XML in the .NET framework. [Citation Graph (0, 0)][DBLP]
SIGMOD Conference, 2006, pp:706- [Conf] - P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
A Term Calculus for Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
TLCA, 1993, pp:75-90 [Conf] - Gavin M. Bierman
What is a Categorical Model of Intuitionistic Linear Logic? [Citation Graph (0, 0)][DBLP]
TLCA, 1995, pp:78-93 [Conf] - Christian Urban, Gavin M. Bierman
Strong Normalisation of Cut-Elimination in Classical Logic. [Citation Graph (0, 0)][DBLP]
TLCA, 1999, pp:365-380 [Conf] - Gavin M. Bierman
A Note on Full Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 1996, v:79, n:3, pp:281-287 [Journal] - Gavin M. Bierman
Towards a Classical Linear lambda-calculus. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal] - Gavin M. Bierman, Matthew J. Parkinson
Effects and effect inference for a core Java calculus. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal] - Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2000, v:41, n:3, pp:- [Journal] - Christian Urban, Gavin M. Bierman
Strong Normalisation of Cut-Elimination in Classical Logic. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2001, v:45, n:1-2, pp:123-155 [Journal] - P. N. Benton, Gavin M. Bierman, Valeria de Paiva
Computational Types from a Logical Perspective. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1998, v:8, n:2, pp:177-193 [Journal] - Gavin M. Bierman
Program equivalence in a linear functional language. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 2000, v:10, n:2, pp:167-190 [Journal] - Gavin M. Bierman, Valeria de Paiva
On an Intuitionistic Modal Logic. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2000, v:65, n:3, pp:383-416 [Journal] - Gavin M. Bierman, Christoph Koch
Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005). [Citation Graph (0, 0)][DBLP]
SIGMOD Record, 2006, v:35, n:1, pp:45-47 [Journal] - Gavin M. Bierman
A Classical Linear lambda-Calculus. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1999, v:227, n:1-2, pp:43-78 [Journal] - Gavin M. Bierman, Erik Meijer, Mads Torgersen
Lost in translation: formalizing proposed extensions to c#. [Citation Graph (0, 0)][DBLP]
OOPSLA, 2007, pp:479-498 [Conf] - Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
Mutatis Mutandis: Safe and predictable dynamic software updating. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2007, v:29, n:4, pp:- [Journal]
UpgradeJ: Incremental Typechecking for Class Upgrades. [Citation Graph (, )][DBLP]
Adding Dynamic Types to C#. [Citation Graph (, )][DBLP]
A theory of typed coercions and its applications. [Citation Graph (, )][DBLP]
Relationships and associations in object-oriented languages. [Citation Graph (, )][DBLP]
Separation logic, abstraction and inheritance. [Citation Graph (, )][DBLP]
From Java To UpgradeJ: An Empirical Study. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002