Tomas Petricek

◁ ▷ joint publications with coauthor community group 1

Keys

# of publication records = 14

journals/corr/PetricekGS16 conf/birthday/MycroftOP16 conf/pldi/PetricekGS16 journals/corr/OrchardPM14 conf/haskell/OrchardP14 conf/icfp/PetricekOM14 conf/padl/PetricekS14 journals/corr/PetricekSB15 conf/icalp/PetricekOM13 conf/popl/SymeBTMP12 conf/haskell/PetricekMS11 conf/padl/SymePL11 conf/padl/PetricekS11 conf/iwmm/PetricekS10

Publications

maintained by Schloss Dagstuhl LZI at University of Trier