Cormac Flanagan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Tim Disney

> Home > Persons > Cormac Flanagan

Publications

2016
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SchusterDF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SchusterDF16
Christopher Schuster, Tim Disney, Cormac Flanagan:
Macrofication: Refactoring by Reverse Macro Expansion. ESOP 2016: 644-671
2015
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/YiDFF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YiDFF15
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. Sci. Comput. Program. 112: 227-260 (2015)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/DisneyF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/DisneyF15
Tim Disney, Cormac Flanagan:
Game Semantics for Type Soundness. LICS 2015: 104-114
2014
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/dls/DisneyFHF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dls/DisneyFHF14
Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan:
Sweeten your JavaScript: hygienic macros for ES5. DLS 2014: 35-44
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/dls/RhodesDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dls/RhodesDF14
Dustin Rhodes, Tim Disney, Cormac Flanagan:
Dynamic detection of object capability violations through model checking. DLS 2014: 103-112
2012
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YiDFF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YiDFF12
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. ISSTA 2012: 232-242
2011
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/DisneyFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DisneyFM11
Tim Disney, Cormac Flanagan, Jay McCarthy:
Temporal higher-order contracts. ICFP 2011: 176-188
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AustinDF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AustinDF11
Thomas H. Austin, Tim Disney, Cormac Flanagan:
Virtual values for language extension. OOPSLA 2011: 921-938

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.