Alejandro Serrano

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 16

Top Venues

CoRR

Theory Pract. Log. Program.

IFL

PADL

Utrecht University, Netherlands (PHD)

Education History

Utrecht University, Netherlands

PHD

Publications

Joris Burgers, Jurriaan Hage, Alejandro Serrano
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. IFL (2020)
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
A quick look at impredicativity. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Alejandro Serrano, Flavio Corpa
Describing microservices using modern Haskell (experience report). Haskell@ICFP (2020)
Alejandro Serrano, Jurriaan Hage
A compiler architecture for domain-specific type error diagnosis. Open Comput. Sci. 9 (1) (2019)
Alejandro Serrano, Victor Cacciari Miraldo
Classes of Arbitrary Kind. PADL (2019)
Alejandro Serrano, Victor Cacciari Miraldo
Generic programming of all kinds. Haskell@ICFP (2018)
Victor Cacciari Miraldo, Alejandro Serrano
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. TyDe@ICFP (2018)
Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
Guarded impredicative polymorphism. PLDI (2018)
Alejandro Serrano, Jurriaan Hage
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. IFL (2017)
Alejandro Serrano, Jurriaan Hage
Constraint Handling Rules with Binders, Patterns and Generic Quantification. CoRR (2017)
Alejandro Serrano, Jurriaan Hage
Constraint handling rules with binders, patterns and generic quantification. Theory Pract. Log. Program. 17 (5-6) (2017)
Alejandro Serrano, Jurriaan Hage
Lightweight soundness for towers of language extensions. PEPM (2017)
Alejandro Serrano, Jurriaan Hage
Generic Matching of Tree Regular Expressions over Haskell Data Types. PADL (2016)
Alejandro Serrano, Jurriaan Hage
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. ESOP (2016)
Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano
Type Directives and Type Graphs in Elm. IFL (2016)
Alejandro Serrano, Jurriaan Hage, Patrick Bahr
Type families with class, type classes with family. Haskell (2015)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR (2014)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory Pract. Log. Program. 14 (4-5) (2014)
Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. CoRR (2013)
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR (2013)
Angela Fabregues, David Navarro, Alejandro Serrano, Carles Sierra
DipGame: a testbed for multiagent systems. AAMAS (2010)

Alejandro Serrano.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alejandro Serrano