Alejandro Serrano

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