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