Paul Tarau - POPL 2016

Registered user since Sat 12 Dec 2015

Name: Paul Tarau

Affiliation: University of North Texas

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

Contributions

PADL	Computing with Catalan Families, Generically A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations Committee Member in Program Committee within the PADL-track
Show activities from other conferences