DipGame: a testbed for multiagent systems. - Angela Fabregues; David Navarro; Alejandro Serrano 001; Carles Sierra (AAMAS, 2010)

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. - Umer Liqat; Steve Kerrison; Alejandro Serrano 001; Kyriakos Georgiou; Pedro López-García 001; Neville Grech; Manuel V. Hermenegildo; Kerstin Eder (LOPSTR, 2013)

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. - Alejandro Serrano 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2013)

Sized Type Analysis for Logic Programs. - Alejandro Serrano 001; Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2013)

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. - Alejandro Serrano 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2014)

Type families with class, type classes with family. - Alejandro Serrano 001; Jurriaan Hage; Patrick Bahr (Haskell, 2015)

Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. - Alejandro Serrano 001; Jurriaan Hage (ESOP, 2016)

Type Directives and Type Graphs in Elm. - Falco Peijnenburg; Jurriaan Hage; Alejandro Serrano 001 (IFL, 2016)

Generic Matching of Tree Regular Expressions over Haskell Data Types. - Alejandro Serrano 001; Jurriaan Hage (PADL, 2016)

Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. - Alejandro Serrano 001; Jurriaan Hage (IFL, 2017)

Lightweight soundness for towers of language extensions. - Alejandro Serrano 001; Jurriaan Hage (PEPM, 2017)

Constraint handling rules with binders, patterns and generic quantification. - Alejandro Serrano 001; Jurriaan Hage (Theory Pract. Log. Program., 2017)

Generic programming of all kinds. - Alejandro Serrano 001; Victor Cacciari Miraldo (Haskell@ICFP, 2018)

Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. - Victor Cacciari Miraldo; Alejandro Serrano 001 (TyDe@ICFP, 2018)

Guarded impredicative polymorphism. - Alejandro Serrano 001; Jurriaan Hage; Dimitrios Vytiniotis; Simon Peyton Jones (PLDI, 2018)

Type Error Customization for Embedded Domain-Specific Languages. - Alejandro Serrano 001 (2018)

Classes of Arbitrary Kind. - Alejandro Serrano 001; Victor Cacciari Miraldo (PADL, 2019)

An Inherently-Typed Formalization for Featherweight Java. - Samuel da Silva Feitosa; Alejandro Serrano Mena; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2019)

A compiler architecture for domain-specific type error diagnosis. - Alejandro Serrano 001; Jurriaan Hage (Open Comput. Sci., 2019)

Describing microservices using modern Haskell (experience report). - Alejandro Serrano 001; Flavio Corpa (Haskell@ICFP, 2020)

Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. - Joris Burgers; Jurriaan Hage; Alejandro Serrano 001 (IFL, 2020)

A quick look at impredicativity. - Alejandro Serrano 001; Jurriaan Hage; Simon Peyton Jones; Dimitrios Vytiniotis (Proc. ACM Program. Lang., 2020)