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