# of records = 7
homepages/75/3253 conf/padl/KawabeG05 journals/fuin/GluckK05 journals/sigplan/GluckK05 conf/flops/GluckK04 conf/aplas/GluckK03 conf/aplas/GluckK02
XML
