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

Registered user since Tue 5 Jan 2016

Name: Alejandro Serrano

Affiliation: Utrecht University

Contributions

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

POPL 2016-profile
View general profile