Folgen
Gavin Bierman
Gavin Bierman
Bestätigte E-Mail-Adresse bei oracle.com
Titel
Zitiert von
Zitiert von
Jahr
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
5482006
Separation logic and abstraction
M Parkinson, G Bierman
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
4062005
Understanding typescript
G Bierman, M Abadi, M Torgersen
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
3932014
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
2731993
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
2502005
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
2002008
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1682003
Computational types from a logical perspective
PN Benton, GM Bierman, VCV de Paiva
Journal of Functional Programming 8 (2), 177-193, 1998
1661998
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
1602005
On intuitionistic linear logic
GM Bierman
University of Cambridge, Computer Laboratory, 1994
1581994
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
1552015
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
First-class relationships in an object-oriented language
G Bierman, A Wren
European Conference on Object-Oriented Programming, 262-286, 2005
1262005
A co-relational model of data for large shared data banks
E Meijer, G Bierman
Communications of the ACM 54 (4), 49-58, 2011
1222011
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
1081993
Adding dynamic types to c
G Bierman, E Meijer, M Torgersen
European Conference on Object-Oriented Programming, 76-100, 2010
982010
Intuitionistic necessity revisited
GM Bierman, VCV De Paiva
School of Computer Science research reports-University of Birmingham CSR, 1996
931996
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
882014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20