Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bierman, Gavin - Microsoft Research Cambridge
Intuitionistic Necessity Revisited G.M. Bierman
Observations on a Linear PCF (Preliminary Report)
Formalizing Dynamic Software Updating Gavin Bierman
Formal semantics and analysis of object queries G.M. Bierman
A Theory of Typed Coercions and its Applications Nikhil Swamy
Towards a formal type system for ODMG OQL G.M. Bierman A. Trigoni
A New General Purpose Parallel Database System M. Afshar, J. Bates, G. Bierman, K. Moody
Mutatis Mutandis: Safe and Predictable Dynamic Software Updating
Separation Logic, Abstraction and Inheritance Matthew J. Parkinson
Using XML as an Object Interchange Format G.M. Bierman
UpgradeJ: Incremental Typechecking for Class Upgrades
Unifying Tables, Objects and Documents Erik Meijer and Wolfram Schulte
Access Control based on Execution History Martin Abadi
Term Assignment for Intuitionistic Linear Logic (Preliminary Report)
Separation Logic and Abstraction Matthew Parkinson
The essence of data access in C The power is in the dot!
Semantic Subtyping with an SMT Solver Gavin M. Bierman
URL: http://www.elsevier.nl/locate/entcs/volume3.html 13 pages Towards a Classical Linear -calculus
Linear -Calculus and Categorical Models Nick Benton1
From Java to UpgradeJ: An empirical study Ewan Tempero
Lost In Translation: Formalizing Proposed Extensions to C Gavin M. Bierman
LINQ: Reconciling Objects, Relations and XML in the .NET Erik Meijer
First-class Relationships in an Object-oriented Gavin Bierman1
Unifying Tables, Objects and Documents Erik Meijer1
First-class relationships in an object-oriented language Gavin Bierman
Ubiquitous Data Gavin Bierman1
Effects and effect inference for a core Java G.M. Bierman M.J. Parkinson
Fundamenta Informaticae 44 (2000) 134 1 Strong Normalisation of Cut-Elimination in Classical Logic
Multiple Modalities G.M. Bierman
A Computational Interpretation of the -calculus G.M. Bierman
A Computational Interpretation of the -calculus G.M. Bierman
What is a Categorical Model of Intuitionistic Linear Logic?
On Intuitionistic Linear Logic G.M. Bierman
A Term Calculus for Intuitionistic Linear Logic Nick Benton1
Dynamic Rebinding for Marshalling and Update, with Destruct-time
