Hongseok Yang

Registered user since Sat 13 Feb 2016

Name: Hongseok Yang

Affiliation: University of Oxford

Personal website: http://www.cs.ox.ac.uk/people/hongseok.yang/Public/Home.html

Research interests: Programming Languages, Distributed Systems, Program Analysis, Probabilistic Programming

Contributions

PPS 2018 The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
POPL 2018 Denotational validation of higher-order Bayesian inference
Show activities from other conferences

POPL 2018-profile
View general profile