dblp keys for Tomas Petricek

Keys

# of data records = 21

homepages/50/8166 journals/darts/Petricek17 conf/ecoop/Petricek17 journals/corr/Petricek17 conf/birthday/MycroftOP16 conf/pldi/PetricekGS16 journals/corr/PetricekGS16 conf/oopsla/Petricek15 conf/haskell/OrchardP14 conf/icfp/PetricekOM14 conf/padl/PetricekS14 journals/corr/PetricekSB15 journals/corr/OrchardPM14 conf/icalp/PetricekOM13 conf/popl/SymeBTMP12 journals/corr/abs-1202-2921 conf/haskell/PetricekMS11 conf/padl/SymePL11 conf/padl/PetricekS11 conf/iwmm/PetricekS10 conf/itat/Petricek09