Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/f/CormacFlanagan
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/f/CormacFlanagan
https://dblp.org/rdf/schema#affiliation University of California, Santa Cruz, USA
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/journals/corr/abs-2103-13667 + , https://dblp.org/rec/journals/pacmpl/FlanaganF20 + , https://dblp.org/rec/conf/csfw/AlgehedF20 + , https://dblp.org/rec/journals/corr/abs-2005-12345 + , https://dblp.org/rec/conf/csfw/AlgehedRF19 + , https://dblp.org/rec/conf/programming/SchusterF19 + , https://dblp.org/rec/journals/pacmpl/AlpernasFFRSSW18 + , https://dblp.org/rec/conf/ccs/SchmitzAFR18 + , https://dblp.org/rec/conf/ifl/SchusterBF18 + , https://dblp.org/rec/conf/ppopp/WilcoxFF18 + , https://dblp.org/rec/conf/www/NgoBFRRS18 + , https://dblp.org/rec/journals/corr/abs-1802-08984 + , https://dblp.org/rec/journals/toplas/AustinSF17 + , https://dblp.org/rec/conf/ccs/SaojiAF17 + , https://dblp.org/rec/conf/ecoop/RhodesFF17 + , https://dblp.org/rec/conf/pldi/RhodesFF17 + , https://dblp.org/rec/conf/aosd/SchusterF16 + , https://dblp.org/rec/conf/esop/SchusterDF16 + , https://dblp.org/rec/conf/pldi/YangHASFC16 + , https://dblp.org/rec/conf/post/SchmitzRAKF16 + , https://dblp.org/rec/journals/scp/YiDFF15 + , https://dblp.org/rec/conf/kbse/WilcoxFFF15 + , https://dblp.org/rec/conf/lics/DisneyF15 + , https://dblp.org/rec/journals/corr/YangHASFC15 + , https://dblp.org/rec/journals/sigplan/BoehmDFFGHHPTVW14 + , https://dblp.org/rec/journals/sttt/FlanaganK14 + , https://dblp.org/rec/conf/dls/DisneyFHF14 + , https://dblp.org/rec/conf/dls/RhodesDF14 + , https://dblp.org/rec/journals/sigplan/FlanaganLLNSS13 + , https://dblp.org/rec/conf/ecoop/FlanaganF13 + , https://dblp.org/rec/conf/pldi/AustinYFS13 + , https://dblp.org/rec/conf/aplas/AustinFA12 + , https://dblp.org/rec/conf/issta/YiDFF12 + , https://dblp.org/rec/conf/issta/TombF12 + , https://dblp.org/rec/conf/popl/AustinF12 + , https://dblp.org/rec/conf/popl/SmaragdakisESYF12 + , https://dblp.org/rec/conf/icfp/DisneyFM11 + , https://dblp.org/rec/conf/oopsla/AustinDF11 + , https://dblp.org/rec/conf/popl/DimoulasFFF11 + , https://dblp.org/rec/conf/ppopp/YiSF11 + , https://dblp.org/rec/conf/rv/YiSFF11 + , https://dblp.org/rec/reference/parallel/Flanagan11 + , https://dblp.org/rec/journals/cacm/FlanaganF10 + , https://dblp.org/rec/journals/lisp/HermanTF10 + , https://dblp.org/rec/journals/toplas/KnowlesF10 + , https://dblp.org/rec/conf/paste/FlanaganF10 + , https://dblp.org/rec/conf/pldi/AustinF10 + , https://dblp.org/rec/conf/pldi/FlanaganF10 + , https://dblp.org/rec/conf/tldi/YiF10 + , https://dblp.org/rec/conf/esop/SadowskiFF09 + , https://dblp.org/rec/conf/issta/YiSF09 + , https://dblp.org/rec/conf/pldi/AustinF09 + , https://dblp.org/rec/conf/pldi/FlanaganF09 + , https://dblp.org/rec/conf/plpv/KnowlesF09 + , https://dblp.org/rec/conf/dagstuhl/FlanaganGPQ09 + , https://dblp.org/rec/journals/scp/FlanaganF08 + , https://dblp.org/rec/journals/toplas/FlanaganFLQ08 + , https://dblp.org/rec/conf/pldi/FlanaganFY08 + , https://dblp.org/rec/journals/scp/FlanaganF07 + , https://dblp.org/rec/conf/esop/KnowlesF07 + , https://dblp.org/rec/conf/ml/HermanF07 + , https://dblp.org/rec/conf/sfp/HermanTF07 + , https://dblp.org/rec/conf/sfp/GronskiF07 + , https://dblp.org/rec/conf/spin/GuetaFYS07 + , https://dblp.org/rec/journals/toplas/AbadiFF06 + , https://dblp.org/rec/conf/fates/FlanaganF06 + , https://dblp.org/rec/conf/popl/Flanagan06 + , https://dblp.org/rec/journals/tcs/FlanaganFQS05 + , https://dblp.org/rec/journals/tse/FlanaganFQ05 + , https://dblp.org/rec/conf/ecoop/RodriguezDFHLR05 + , https://dblp.org/rec/conf/popl/FlanaganG05 + , https://dblp.org/rec/conf/ppdp/TombF05 + , https://dblp.org/rec/conf/tldi/FlanaganFL05 + , https://dblp.org/rec/journals/scp/Flanagan04 + , https://dblp.org/rec/conf/ipps/FlanaganF04 + , https://dblp.org/rec/conf/issta/FlanaganFQ04 + , https://dblp.org/rec/conf/popl/FlanaganF04 + , https://dblp.org/rec/conf/sas/FlanaganF04 + , https://dblp.org/rec/conf/spin/Flanagan04 + , https://dblp.org/rec/conf/cav/FlanaganJOS03 + , https://dblp.org/rec/conf/esop/Flanagan03 + , https://dblp.org/rec/conf/pldi/FlanaganQ03 + , https://dblp.org/rec/conf/spin/FlanaganQ03 + , https://dblp.org/rec/conf/tldi/FlanaganQ03 + , https://dblp.org/rec/journals/entcs/FlanaganQ03 + , https://dblp.org/rec/journals/jfp/FindlerCFFKSF02 + , https://dblp.org/rec/conf/cav/FlanaganQS02 + , https://dblp.org/rec/conf/esop/FlanaganFQ02 + , https://dblp.org/rec/conf/pldi/FlanaganLLNSS02 + , https://dblp.org/rec/conf/popl/FlanaganQ02 + , https://dblp.org/rec/journals/ipl/FlanaganJL01 + , https://dblp.org/rec/conf/fm/FlanaganL01 + , https://dblp.org/rec/conf/paste/FlanaganF01 + , https://dblp.org/rec/conf/popl/FlanaganS01 + , https://dblp.org/rec/conf/pldi/FlanaganF00 + , https://dblp.org/rec/journals/jfp/FlanaganF99 + , https://dblp.org/rec/journals/toplas/FlanaganF99 + , https://dblp.org/rec/conf/concur/FlanaganA99 + , https://dblp.org/rec/conf/esop/FlanaganA99 + , https://dblp.org/rec/conf/pldi/FlanaganF97 + , https://dblp.org/rec/conf/plilp/FindlerFFKF97 + , https://dblp.org/rec/conf/icfp/FlanaganN96 + , https://dblp.org/rec/conf/pldi/FlanaganFKWF96 + , https://dblp.org/rec/conf/popl/FlanaganF95 + , https://dblp.org/rec/conf/pldi/FlanaganSDF93 + , https://dblp.org/rec/conf/pldi/FlanaganSDF93a +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/a/MartinAbadi + , https://dblp.org/pid/202/9706 + , https://dblp.org/pid/178/3966 + , https://dblp.org/pid/29/7796 + , https://dblp.org/pid/238/2970 + , https://dblp.org/pid/85/150 + , https://dblp.org/pid/43/2339 + , https://dblp.org/pid/13/2794 + , https://dblp.org/pid/40/5848 + , https://dblp.org/pid/d/JWDavidson + , https://dblp.org/pid/03/2293 + , https://dblp.org/pid/40/10167 + , https://dblp.org/pid/06/1994 + , https://dblp.org/pid/d/MatthewBDwyer + , https://dblp.org/pid/22/7750 + , https://dblp.org/pid/152/5507 + , https://dblp.org/pid/f/MFelleisen + , https://dblp.org/pid/06/423 + , https://dblp.org/pid/174/2084 + , https://dblp.org/pid/f/RBFindler + , https://dblp.org/pid/83/5986 + , https://dblp.org/pid/f/MatthewFlatt + , https://dblp.org/pid/197/7159 + , https://dblp.org/pid/93/2065 + , https://dblp.org/pid/53/1090 + , https://dblp.org/pid/20/1639 + , https://dblp.org/pid/29/1487 + , https://dblp.org/pid/g/SusanneGraf + , https://dblp.org/pid/35/736 + , https://dblp.org/pid/h/MaryWHall + , https://dblp.org/pid/122/8102 + , https://dblp.org/pid/52/5739 + , https://dblp.org/pid/54/160 + , https://dblp.org/pid/80/6729 + , https://dblp.org/pid/50/1308 + , https://dblp.org/pid/02/10302 + , https://dblp.org/pid/k/BarbaraKonig1 + , https://dblp.org/pid/k/SKrishnamurthi + , https://dblp.org/pid/66/2755 + , https://dblp.org/pid/l/KRMLeino + , https://dblp.org/pid/78/1961 + , https://dblp.org/pid/99/6098 + , https://dblp.org/pid/52/10167 + , https://dblp.org/pid/54/4359 + , https://dblp.org/pid/21/9014 + , https://dblp.org/pid/91/346 + , https://dblp.org/pid/41/4686 + , https://dblp.org/pid/p/DavidAPadua + , https://dblp.org/pid/160/8088 + , https://dblp.org/pid/q/ShazQadeer + , https://dblp.org/pid/42/6705 + , https://dblp.org/pid/131/9267 + , https://dblp.org/pid/98/4700 + , https://dblp.org/pid/58/6791 + , https://dblp.org/pid/48/5534 + , https://dblp.org/pid/91/7451 + , https://dblp.org/pid/65/6934 + , https://dblp.org/pid/17/2324 + , https://dblp.org/pid/s/SSagiv + , https://dblp.org/pid/219/9071 + , https://dblp.org/pid/95/1805 + , https://dblp.org/pid/57/4292-1 + , https://dblp.org/pid/167/7255 + , https://dblp.org/pid/s/SanjitASeshia + , https://dblp.org/pid/s/YSmaragdakis + , https://dblp.org/pid/95/6919 + , https://dblp.org/pid/60/5248 + , https://dblp.org/pid/15/510 + , https://dblp.org/pid/32/524 + , https://dblp.org/pid/91/466 + , https://dblp.org/pid/v/JanVitek + , https://dblp.org/pid/w/PhilipWadler + , https://dblp.org/pid/w/StephanieWeirich + , https://dblp.org/pid/38/10688-1 + , https://dblp.org/pid/38/11404 + , https://dblp.org/pid/54/5133 + , https://dblp.org/pid/29/1990-1 + , https://dblp.org/pid/41/6405 + , https://dblp.org/pid/z/AndreasZeller +
https://dblp.org/rdf/schema#creatorName Cormac Flanagan
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/pldi/2013 + , https://dblp.org/rec/conf/tacas/2012 + , https://dblp.org/rec/conf/plpv/2010 + , https://dblp.org/rec/conf/dagstuhl/2009P9361 + , https://dblp.org/rec/conf/paste/2004 +
https://dblp.org/rdf/schema#homepage http://www.cs.ucsc.edu/~cormac/ +
https://dblp.org/rdf/schema#primaryAffiliation University of California, Santa Cruz, USA
https://dblp.org/rdf/schema#primaryCreatorName Cormac Flanagan
https://dblp.org/rdf/schema#primaryHomepage http://www.cs.ucsc.edu/~cormac/ +
https://dblp.org/rdf/schema#webpage https://dl.acm.org/profile/81100538763 + , https://mathscinet.ams.org/mathscinet/MRAuthorID/649652 + , https://mathgenealogy.org/id.php?id=113749 +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q102313418 +
owl:sameAs http://www.wikidata.org/entity/Q102313418 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label Cormac Flanagan
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Fpid-2Ff-2FCormacFlanagan"