
Registered user since Tue 5 Jan 2016
Name: Alejandro Serrano
Affiliation: Utrecht University
Contributions
PADL | Generic Matching of Tree Regular Expressions over Haskell Data Types | ||||||||||||||||||||||||||||||||||||||||
POPL 2016 | Proving Correctness of Specialized Type Rules | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile