Kwok-Ho Cheung : Publications
Reasoning about Probability and Nondeterminism
Faris Abou−Saleh‚ Kwok−Ho Cheung and Jeremy Gibbons
In POPL workshop on Probabilistic Programming Semantics. January, 2016.
Separating Entangled State
In The 4th ACM SIGPLAN Workshop on Higher−Order Programming with Effects. September, 2014.
Distributive Interaction of Algebraic Effects
PhD Thesis 2017.