Alejandro Serrano

According to our database, Alejandro Serrano authored at least 22 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

A quick look at impredicativity.

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis

Proc. ACM Program. Lang., 2020

Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning.

Joris Burgers, Jurriaan Hage, Alejandro Serrano

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Describing microservices using modern Haskell (experience report).

Alejandro Serrano, Flavio Corpa

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019

A compiler architecture for domain-specific type error diagnosis.

Alejandro Serrano, Jurriaan Hage

Open Comput. Sci., 2019

An Inherently-Typed Formalization for Featherweight Java.

Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Classes of Arbitrary Kind.

Alejandro Serrano, Victor Cacciari Miraldo

Proceedings of the Practical Aspects of Declarative Languages, 2019

2018

Type Error Customization for Embedded Domain-Specific Languages.

Alejandro Serrano

PhD thesis, 2018

Guarded impredicative polymorphism.

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming.

Victor Cacciari Miraldo, Alejandro Serrano

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

Generic programming of all kinds.

Alejandro Serrano, Victor Cacciari Miraldo

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Constraint handling rules with binders, patterns and generic quantification.

Alejandro Serrano, Jurriaan Hage

Theory Pract. Log. Program., 2017

Lightweight soundness for towers of language extensions.

Alejandro Serrano, Jurriaan Hage

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Type Error Customization in GHC: Controlling expression-level type errors by type-level programming.

Alejandro Serrano, Jurriaan Hage

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Generic Matching of Tree Regular Expressions over Haskell Data Types.

Alejandro Serrano, Jurriaan Hage

Proceedings of the Practical Aspects of Declarative Languages, 2016

Type Directives and Type Graphs in Elm.

Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules.

Alejandro Serrano, Jurriaan Hage

Proceedings of the Programming Languages and Systems, 2016

2015

Type families with class, type classes with family.

Alejandro Serrano, Jurriaan Hage, Patrick Bahr

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.

Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2014

2013

Sized Type Analysis for Logic Programs.

Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2013

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.

Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo

CoRR, 2013

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.

Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2010

DipGame: a testbed for multiagent systems.

Angela Fabregues, David Navarro, Alejandro Serrano, Carles Sierra

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010