# of records = 7
homepages/92/4440 journals/toplas/SimonetP07 conf/aplas/Simonet03 conf/icfp/Simonet03 journals/toplas/PottierS03 conf/csfw/Simonet02 conf/popl/PottierS02
XML
