Statistics
Publications
65
Citations
7.1K
H-Index
40
Active since
1993
Cormac Flanagan is an author at University of California, Santa Cruz specializing in computer science, computing, and programming languages.
Publications per year
1993–2017
65
65
Extended static checking for Java
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations
The essence of compiling with continuations
Cormac Flanagan, Amr Sabry, Bruce F. Duba et al. · 1993 · 533 citations
Cormac Flanagan, Stephen N. Freund · 2004 · 411 citations
DrScheme: a programming environment for Scheme
Robert Bruce Findler, John Clements, Cormac Flanagan et al. · Journal of Functional Programming · 2002 · 340 citations
A type and effect system for atomicity
Cormac Flanagan, Shaz Qadeer · ACM SIGPLAN Notices · 2003 · 305 citations
1–5 of 65