Alejandro Serrano

Affiliations:
  • Utrecht University, The Netherlands
  • IMDEA Software Institute, Madrid, Spain (former)
  • Spanish Scientific Research Council, Bellaterra, Spain (former)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A quick look at impredicativity.
Proc. ACM Program. Lang., 2020

Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning.
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Describing microservices using modern Haskell (experience report).
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019
A compiler architecture for domain-specific type error diagnosis.
Open Comput. Sci., 2019

An Inherently-Typed Formalization for Featherweight Java.
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Classes of Arbitrary Kind.
Proceedings of the Practical Aspects of Declarative Languages, 2019

2018
Type Error Customization for Embedded Domain-Specific Languages.
PhD thesis, 2018

Guarded impredicative polymorphism.
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.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

Generic programming of all kinds.
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017
Constraint handling rules with binders, patterns and generic quantification.
Theory Pract. Log. Program., 2017

Lightweight soundness for towers of language extensions.
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.
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.
Proceedings of the Practical Aspects of Declarative Languages, 2016

Type Directives and Type Graphs in Elm.
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.
Proceedings of the Programming Languages and Systems, 2016

2015
Type families with class, type classes with family.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.
Theory Pract. Log. Program., 2014

2013
Sized Type Analysis for Logic Programs.
Theory Pract. Log. Program., 2013

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

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2010
DipGame: a testbed for multiagent systems.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010


  Loading...