Kwok-Ho Cheung : Publications

Click here to download all publications in a single bibtex file

@phdthesis{diaa,
  title = "Distributive Interaction of Algebraic Effects",
  author = "Kwok-Ho Cheung",
  year = "2017",
  url = "https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818",
}

@inproceedings{diagrammatic,
  title = "Reasoning about Probability and Nondeterminism",
  author = "Faris Abou-Saleh and Kwok-Ho Cheung and Jeremy Gibbons",
  year = "2016",
  booktitle = "POPL workshop on Probabilistic Programming Semantics",
  month = "January",
  url = "http://web.archive.org/web/20160328042056/http://pps2016.soic.indiana.edu/2015/12/11/reasoning-about-probability-and-nondeterminism/",
}

@inproceedings{ses-hope-talk,
  title = "Separating Entangled State",
  author = "Kwok-Ho Cheung",
  year = "2014",
  booktitle = "The 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects",
  month = "September",
  url = "https://web.archive.org/web/20160512135921/https://www.mpi-sws.org/~neelk/hope2014/",
}