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
5622006
Understanding typescript
G Bierman, M Abadi, M Torgersen
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
4592014
Separation logic and abstraction
M Parkinson, G Bierman
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
4112005
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
2831993
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
2492005
What is a categorical model of intuitionistic linear logic?
GM Bierman
Typed Lambda Calculi and Applications: Second International Conference on …, 1995
2391995
On an intuitionistic modal logic
GM Bierman, VCV de Paiva
Studia Logica 65, 383-416, 2000
2272000
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
2012008
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of Functional Programming 8 (2), 177-193, 1998
1731998
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
1712015
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1712003
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
1622005
On intuitionistic linear logic
GM Bierman
University of Cambridge, Computer Laboratory, 1994
1621994
Term assignment for intuitionistic linear logic
N Benton, G Bierman, V de Paiva, M Hyland
Technical Report 262, Computer Laboratory, University of Cambridge, 1992
1331992
A co-relational model of data for large shared data banks
E Meijer, G Bierman
Communications of the ACM 54 (4), 49-58, 2011
1272011
First-class relationships in an object-oriented language
G Bierman, A Wren
European Conference on Object-Oriented Programming, 262-286, 2005
1262005
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
1131993
Adding dynamic types to c
G Bierman, E Meijer, M Torgersen
European Conference on Object-Oriented Programming, 76-100, 2010
1002010
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
941996
Gradual typing embedded securely in JavaScript
N Swamy, C Fournet, A Rastogi, K Bhargavan, J Chen, PY Strub, ...
ACM SIGPLAN Notices 49 (1), 425-437, 2014
912014
The system can't perform the operation now. Try again later.
Articles 1–20