|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 21 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Erik Meijer, Gavin M. Bierman |
A co-relational model of data for large shared data banks.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Erik Meijer, Mads Torgersen |
Adding Dynamic Types to C#. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
A theory of typed coercions and its applications. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance |
| 1 | Gavin M. Bierman, Christoph Koch |
Information systems preface. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew J. Parkinson |
From Java To UpgradeJ: An Empirical Study. |
HotSWUp |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic, abstraction and inheritance. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
modularity, classes, separation logic |
| 1 | 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 |
DBLP DOI BibTeX RDF |
roles, associations, relationships |
| 1 | Gavin M. Bierman, Matthew J. Parkinson, James Noble |
UpgradeJ: Incremental Typechecking for Class Upgrades. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
Proteus, updateability analysis, type inference, capability, Dynamic software updating |
| 1 | Gavin M. Bierman, Erik Meijer, Mads Torgersen |
Lost in translation: formalizing proposed extensions to c#. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
C#, LINQ |
| 1 | Gavin M. Bierman, Christoph Koch |
Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005). |
SIGMOD Record |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Meijer, Brian Beckman, Gavin M. Bierman |
LINQ: reconciling object, relations and XML in the .NET framework. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis mutandis: safe and predictable dynamic software updating. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
proteus, updateability analysis, type inference, capability, dynamic software updating |
| 1 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
| 1 | Gavin M. Bierman, Christoph Koch (eds.) |
Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers |
DBPL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gavin M. Bierman, Alisdair Wren |
First-Class Relationships in an Object-Oriented Language. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Erik Meijer, Wolfram Schulte |
The Essence of Data Access in Comega. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time ? |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Matthew J. Parkinson |
Effects and effect inference for a core Java calculus. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman |
Formal semantics and analysis of object queries. |
SIGMOD Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time? |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling |
| 1 | Christian Urban, Gavin M. Bierman |
Strong Normalisation of Cut-Elimination in Classical Logic. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Agathoniki Trigoni, Gavin M. Bierman |
Inferring the Principal Type and the Schema Requirements of an OQL Query. |
BNCOD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Valeria de Paiva |
On an Intuitionistic Modal Logic. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman |
Program equivalence in a linear functional language. |
J. Funct. Program. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gavin M. Bierman |
A Classical Linear lambda-Calculus. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Urban, Gavin M. Bierman |
Strong Normalisation of Cut-Elimination in Classical Logic. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Gavin M. Bierman, Valeria de Paiva |
Computational Types from a Logical Perspective. |
J. Funct. Program. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gavin M. Bierman |
A Computational Interpretation of the lambda-ยต-Calculus. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody |
A New General Purpose Parallel Database System. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman |
Towards a Classical Linear lambda-calculus. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman |
A Note on Full Intuitionistic Linear Logic. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman |
What is a Categorical Model of Intuitionistic Linear Logic? |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
A Term Calculus for Intuitionistic Linear Logic. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
Linear Lambda-Calculus and Categorial Models Revisited. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")