Hongseok Yang

Registered user since Sat 13 Feb 2016

Name:Hongseok Yang
Affiliation:University of Oxford
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