POPL 2017
Sun 15 - Sat 21 January 2017
Paul Tarau

Registered user since Sat 12 Dec 2015

Name: Paul Tarau

Country: United States

Affiliation: University of North Texas

Personal website: http://www.cse.unt.edu/~tarau/

Contributions

PADL 2017Author of Boltzmann Samplers for Closed Simply-Typed Lambda Terms within the PADL-track
Show activities from other conferences

POPL 2017-profile
View general profile