Registered user since Tue 5 Jan 2016

Name: Alejandro Serrano

Country: Netherlands

Affiliation: Utrecht University

Personal website: http://www.cs.uu.nl/staff/mena.html

Research interests: Programming Languages, Domain-Specific Languages, Haskell

All Activities

• Author of Lightweight Soundness for Towers of Language Extensions within the PEPM 2017-track in PEPM 2017
• Author of Guarded Impredicative Polymorphism within the PLDI Research Papers-track in PLDI 2018
• Committee Member in Program Committee for HIW 2017
• Author of Proving Correctness of Specialized Type Rules within the SRC-track in POPL 2016
• Committee Member in Artifact Evaluation Committee for ICFP 2018 Research Artifacts
• Author of Generic Matching of Tree Regular Expressions over Haskell Data Types within the PADL-track in PADL