E Meijer, B Beckman, G Bierman

Proceedings of the 2006 ACM SIGMOD international conference on Management of …, 2006

G Bierman, M Abadi, M Torgersen

ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014

M Parkinson, G Bierman

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005

N Benton, G Bierman, V De Paiva, M Hyland

Typed Lambda Calculi and Applications: International Conference on Typed …, 1993

G Stoyle, M Hicks, G Bierman, P Sewell, I Neamtiu

ACM SIGPLAN Notices 40 (1), 183-194, 2005

GM Bierman

Typed Lambda Calculi and Applications: Second International Conference on …, 1995

GM Bierman, VCV de Paiva

Studia Logica 65, 383-416, 2000

MJ Parkinson, GM Bierman

ACM SIGPLAN Notices 43 (1), 75-86, 2008

GM Bierman, MJ Parkinson, AM Pitts

University of Cambridge, Computer Laboratory, 2003

PN Benton, GM Bierman, VCV de Paiva

Journal of Functional Programming 8 (2), 177-193, 1998

A Rastogi, N Swamy, C Fournet, G Bierman, P Vekris

Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015

G Bierman, E Meijer, W Schulte

ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005

GM Bierman

University of Cambridge, Computer Laboratory, 1994

N Benton, G Bierman, V de Paiva, M Hyland

Technical Report 262, Computer Laboratory, University of Cambridge, 1992

E Meijer, G Bierman

Communications of the ACM 54 (4), 49-58, 2011

G Bierman, A Wren

European Conference on Object-Oriented Programming, 262-286, 2005

G Bierman, M Hicks, P Sewell, G Stoyle

Proceedings of the Second International Workshop on Unanticipated Software …, 2003

N Benton, G Bierman, V De Paiva, M Hyland

Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993

G Bierman, E Meijer, M Torgersen

European Conference on Object-Oriented Programming, 76-100, 2010

GM Bierman, VCV De Paiva

School of Computer Science research reports-University of Birmingham CSR, 1996