Registered user since Tue 5 Jan 2016

Name: Alejandro Serrano

Affiliation: Utrecht University

POPL 2016 Activities

• Author of Proving Correctness of Specialized Type Rules within the SRC-track in POPL 2016
• Author of Generic Matching of Tree Regular Expressions over Haskell Data Types within the PADL-track in PADL
• Show activities from other conferences