Kwok-Ho Cheung : Publications
-
[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
-
[2]
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
-
[3]
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