Registered user since Sat 4 Jul 2015

Name: Jeremy Avigad

Affiliation: Carnegie Mellon University

POPL 2017 Activities

• Author of On computable representations of exchangeable data within the PPS-track in PPS 2017
• Show activities from other conferences