Gavin Bierman
Título
Citado por
Citado por
Ano
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
4562006
Separation logic and abstraction
M Parkinson, G Bierman
ACM SIGPLAN Notices 40 (1), 247-258, 2005
3692005
Women in computer science: no shortage here!
M Othman, R Latih
Communications of the ACM 49 (3), 111-114, 2006
263*2006
A term calculus for intuitionistic linear logic
N Benton, G Bierman, V De Paiva, M Hyland
International Conference on Typed Lambda Calculi and Applications, 75-90, 1993
2391993
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
2242005
What is a categorical model of intuitionistic linear logic?
GM Bierman
International Conference on Typed Lambda Calculi and Applications, 78-93, 1995
2071995
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
1842008
Understanding typescript
G Bierman, M Abadi, M Torgersen
European Conference on Object-Oriented Programming, 257-281, 2014
1762014
On an intuitionistic modal logic
GM Bierman, VCV de Paiva
Studia Logica 65 (3), 383-416, 2000
1632000
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1522003
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of Functional Programming 8 (2), 177-193, 1998
1431998
The essence of data access in Cω
G Bierman, E Meijer, W Schulte
European Conference on Object-Oriented Programming, 287-311, 2005
1402005
Term assignment for intuitionistic linear logic (preliminary report)
N Benton, G Bierman, V de Paiva, M Hyland
University of Cambridge. Computer Laboratory, 1992
1331992
On intuitionistic linear logic
GM Bierman
University of Cambridge, Computer Laboratory, 1994
1321994
First-class relationships in an object-oriented language
G Bierman, A Wren
European Conference on Object-Oriented Programming, 262-286, 2005
1182005
Formalizing dynamic software updating
G Bierman, M Hicks, P Sewell, G Stoyle
Proceedings of the Second International Workshop on Unanticipated Software …, 2003
1132003
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
1072015
A co-relational model of data for large shared data banks
E Meijer, G Bierman
Communications of the ACM 54 (4), 49-58, 2011
1032011
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
851996
Linear λ-calculus and categorical models revisited
N Benton, G Bierman, V De Paiva, M Hyland
International Workshop on Computer Science Logic, 61-84, 1992
831992
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20