Write a Blog >>
POPL 2016
Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States
POPL 2016 (series) / Paul Tarau
Paul Tarau

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

POPL 2016-profile
View general profile