Kwok-Ho Cheung

Kwok-Ho Cheung

Doctoral Student

Student, Merton College

Leaving date: 15th February 2018

Themes:

• Programming Languages

Selected Publications

View AllManage publications

• 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

• 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

• 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

Activities

• Algebra of Programming

Supervisor