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