DBLP Keys for Matthew Might

# of records = 34

homepages/57/2128 conf/plpv/2013 journals/corr/abs-1302-2692 journals/entcs/MidtgaardM12 journals/jfp/HornM12 conf/icfp/EarlSMH12 conf/sas/Midtgaard0M12 journals/corr/abs-1207-1813 journals/corr/abs-1211-3722 journals/cacm/HornM11 conf/icfp/MightDS11 conf/oopsla/AdamsKMMCD11 conf/popl/PrabhuRMH11 conf/sas/MightH11 journals/corr/abs-1103-5167 journals/corr/abs-1105-1743 journals/corr/abs-1107-3539 journals/corr/abs-1109-4467 conf/icfp/HornM10 conf/pldi/MightSH10 conf/sas/Might10 conf/vmcai/Might10 journals/corr/abs-1007-4268 journals/corr/abs-1007-4446 journals/corr/abs-1009-1560 journals/corr/abs-1010-5023 conf/vmcai/MightM09 journals/jfp/MightS08 journals/tcs/MightS07 conf/popl/Might07 conf/vmcai/MightCS07 conf/icfp/MightS06 conf/pldi/ShiversM06 conf/popl/MightS06

XML