conf.researchr.org / Alejandro Serrano
Alejandro Serrano

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

Contributions

Haskell 2018Author of Generic Programming of All Kinds within the Haskell 2018-track
TyDe 2018Author of Sums of Products for Mutually Recursive Datatypes within the TyDe 2018-track
ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
HIW 2017Committee Member in Program Committee within the HIW 2017-track
PLDI 2018Author of Guarded Impredicative Polymorphism within the PLDI Research Papers-track
PEPM 2017Author of Lightweight Soundness for Towers of Language Extensions within the PEPM 2017-track
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