Cormac Flanagan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

71 Aaron Tomb, Cormac Flanagan: Detecting inconsistencies via universal reachability analysis. ISSTA 2012: 287-297

56 David Herman, Aaron Tomb, Cormac Flanagan: Space-efficient gradual typing. Higher-Order and Symbolic Computation 23(2): 167-189 (2010)

38 Aaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116

Selection of 3 from 73 records - Cormac Flanagan has 45 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

71		Aaron Tomb, Cormac Flanagan: Detecting inconsistencies via universal reachability analysis. ISSTA 2012: 287-297
56		David Herman, Aaron Tomb, Cormac Flanagan: Space-efficient gradual typing. Higher-Order and Symbolic Computation 23(2): 167-189 (2010)
38		Aaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116