Follow
Gavin Bierman
Title
Cited by
Cited by
Year
Linq: reconciling object, relations and xml in the. net framework
E Meijer, B Beckman, G Bierman
Proceedings of the 2006 ACM SIGMOD international conference on Management of …, 2006
5312006
Separation logic and abstraction
M Parkinson, G Bierman
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
3972005
Understanding typescript
G Bierman, M Abadi, M Torgersen
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
3122014
A term calculus for intuitionistic linear logic
N Benton, G Bierman, V De Paiva, M Hyland
Typed Lambda Calculi and Applications: International Conference on Typed …, 1993
2591993
Mutatis mutandis: safe and predictable dynamic software updating
G Stoyle, M Hicks, G Bierman, P Sewell, I Neamtiu
ACM SIGPLAN Notices 40 (1), 183-194, 2005
2462005
What is a categorical model of intuitionistic linear logic?
GM Bierman
Typed Lambda Calculi and Applications: Second International Conference on …, 1995
2231995
On an intuitionistic modal logic
GM Bierman, VCV de Paiva
Studia Logica 65, 383-416, 2000
2122000
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
1972008
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1662003
The Essence of Data Access in Cω The Power is in the Dot!
G Bierman, E Meijer, W Schulte
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
1552005
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of functional programming 8 (2), 177-193, 1998
1541998
On intuitionistic linear logic
GM Bierman
University of Cambridge, Computer Laboratory, 1994
1461994
Safe & efficient gradual typing for TypeScript
A Rastogi, N Swamy, C Fournet, G Bierman, P Vekris
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1422015
Term assignment for intuitionistic linear logic
N Benton, G Bierman, V de Paiva, M Hyland
Technical Report 262, Computer Laboratory, University of Cambridge, 1992
1281992
First-class relationships in an object-oriented language
G Bierman, A Wren
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
1272005
A co-relational model of data for large shared data banks
E Meijer, G Bierman
Communications of the ACM 54 (4), 49-58, 2011
1182011
Linear λ-calculus and categorical models revisited
N Benton, G Bierman, V De Paiva, M Hyland
Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993
1011993
Adding Dynamic Types to C
G Bierman, E Meijer, M Torgersen
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
922010
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
921996
Strong normalisation of cut-elimination in classical logic
C Urban, GM Bierman
Fundamenta Informaticae 45 (1-2), 123-155, 2001
842001
The system can't perform the operation now. Try again later.
Articles 1–20