Not registered as user yet

Name: Jared Tramontano

Affiliation: Massachusetts Institute of Technology

Contributions

PPS 2018 Constructive probabilistic semantics with non-spatial locales
Show activities from other conferences

POPL 2018-profile
View general profile