Tomas Petricek

  joint publications with Don Syme

Keys

# of publication records = 9

conf/pldi/PetricekGS16 journals/corr/PetricekGS16 conf/padl/PetricekS14 journals/corr/PetricekSB15 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