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
5502006
Separation logic and abstraction
M Parkinson, G Bierman
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
4092005
Understanding typescript
G Bierman, M Abadi, M Torgersen
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
3892014
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
2751993
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
2512005
What is a categorical model of intuitionistic linear logic?
GM Bierman
Typed Lambda Calculi and Applications: Second International Conference on …, 1995
2321995
On an intuitionistic modal logic
GM Bierman, VCV de Paiva
Studia Logica 65, 383-416, 2000
2232000
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
2012008
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1692003
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
1672005
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of functional programming 8 (2), 177-193, 1998
1641998
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
1582015
On intuitionistic linear logic
GM Bierman
University of Cambridge, Computer Laboratory, 1994
1581994
Term assignment for intuitionistic linear logic
N Benton, G Bierman, V de Paiva, M Hyland
Technical Report 262, Computer Laboratory, University of Cambridge, 1992
1501992
First-class relationships in an object-oriented language
G Bierman, A Wren
European Conference on Object-Oriented Programming, 262-286, 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
1212011
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
1091993
Adding dynamic types to c
G Bierman, E Meijer, M Torgersen
European Conference on Object-Oriented Programming, 76-100, 2010
972010
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
951996
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
872014
The system can't perform the operation now. Try again later.
Articles 1–20