# of records = 8

homepages/56/893 conf/popl/Tate13 journals/corr/abs-1012-1802 conf/cav/SteppTL11 conf/pldi/TateLL11 conf/pldi/TateCH10 conf/popl/TateSL10 conf/popl/TateSTL09

XML

last updated on 2013-01-19 22:32 CET by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page