The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gavin M. Bierman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Gavin M. Bierman, Alisdair Wren
    First-Class Relationships in an Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:262-286 [Conf]
  5. 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]
  6. 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]
  7. Gavin M. Bierman
    A Computational Interpretation of the lambda-µ-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:336-345 [Conf]
  8. Matthew J. Parkinson, Gavin M. Bierman
    Separation logic and abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:247-258 [Conf]
  9. 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]
  10. Gavin M. Bierman
    Formal semantics and analysis of object queries. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2003, pp:407-418 [Conf]
  11. 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]
  12. 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]
  13. Gavin M. Bierman
    What is a Categorical Model of Intuitionistic Linear Logic? [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:78-93 [Conf]
  14. Christian Urban, Gavin M. Bierman
    Strong Normalisation of Cut-Elimination in Classical Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:365-380 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]

  27. UpgradeJ: Incremental Typechecking for Class Upgrades. [Citation Graph (, )][DBLP]


  28. Adding Dynamic Types to C#. [Citation Graph (, )][DBLP]


  29. A theory of typed coercions and its applications. [Citation Graph (, )][DBLP]


  30. Relationships and associations in object-oriented languages. [Citation Graph (, )][DBLP]


  31. Separation logic, abstraction and inheritance. [Citation Graph (, )][DBLP]


  32. From Java To UpgradeJ: An Empirical Study. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002