Kwok-Ho Cheung : Publications

Conference papers

• [1]

  Reasoning about Probability and Nondeterminism

  Faris Abou−Saleh‚ Kwok−Ho Cheung and Jeremy Gibbons

  In POPL workshop on Probabilistic Programming Semantics. January, 2016.

  Details about Reasoning about Probability and Nondeterminism | BibTeX data for Reasoning about Probability and Nondeterminism | Link to Reasoning about Probability and Nondeterminism

• [2]

  Separating Entangled State

  Kwok−Ho Cheung

  In The 4th ACM SIGPLAN Workshop on Higher−Order Programming with Effects. September, 2014.

  Details about Separating Entangled State | BibTeX data for Separating Entangled State | Link to Separating Entangled State

Theses

• [1]

  Distributive Interaction of Algebraic Effects

  Kwok−Ho Cheung

  PhD Thesis 2017.

  Details about Distributive Interaction of Algebraic Effects | BibTeX data for Distributive Interaction of Algebraic Effects | Link to Distributive Interaction of Algebraic Effects