Paolo G. Giarrusso - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Registered user since Fri 26 Dec 2014

Name:Paolo G. Giarrusso

Country:Italy

Affiliation:University of Tübingen, Germany

Personal website: http://ps.informatik.uni-tuebingen.de/team/giarrusso/

Contributions

2016

POPL

System Fω with Equirecursive Types for Datatype-generic Programming

Show activities from other conferences

POPL 2016-profile
View general profile