Alejandro Serrano Mena
Alejandro Serrano Mena
Vahvistettu sähköpostiosoite verkkotunnuksessa uu.nl
Nimike
Viittaukset
Viittaukset
Vuosi
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models
S Kerrison, U Liqat, K Georgiou, A Serrano, N Grech, P Lopez-Garcia, ...
Pre-proceedings of the 23rd International Symposium on Logic-Based Program …, 2013
72*2013
Resource usage analysis of logic programs via abstract interpretation using sized types
A Serrano, P López-García, MV Hermenegildo
Theory and Practice of Logic Programming 14 (4-5), 739-754, 2014
462014
Type error diagnosis for embedded DSLs by Two-Stage specialized type rules
A Serrano, J Hage
Proceedings of the 25th European Symposium on Programming Languages and …, 2016
242016
Sized Type Analysis for Logic Programs (technical communication)
A Serrano Mena, P López García, F Bueno Carrillo, MV Hermenegildo
Theory and Practice of Logic Programming 13 (4-5 (S), 1-15, 2013
14*2013
Guarded impredicative polymorphism
A Serrano, J Hage, D Vytiniotis, S Peyton Jones
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
132018
Beginning Haskell: A Project-Based Approach
AS Mena
Apress, 2014
13*2014
Dipgame: A testbed for multiagent systems
A Fabregues, D Navarro, A Serrano, C Sierra
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
112010
Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming
VC Miraldo, A Serrano
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018
92018
Generic programming of all kinds
A Serrano, VC Miraldo
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 41-54, 2018
82018
Type families with class, type classes with family
A Serrano, J Hage, P Bahr
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 129-140, 2015
72015
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming
A Serrano, J Hage
Proceedings of the 29th Symposium on the Implementation and Application of …, 2017
62017
Lightweight soundness for towers of language extensions
A Serrano, J Hage
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017
42017
Generic Matching of Tree Regular Expressions over Haskell Data Types
A Serrano, J Hage
Practical Aspects of Declarative Languages, 83-98, 2016
42016
Constraint handling rules with binders, patterns and generic quantification
A Serrano, J Hage
Theory and Practice of Logic Programming 17 (5-6), 992-1009, 2017
32017
A quick look at impredicativity
A Serrano, J Hage, S Peyton Jones, D Vytiniotis
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
22020
A compiler architecture for domain-specific type error diagnosis
A Serrano, J Hage
Open Computer Science 9 (1), 33-51, 2019
22019
Classes of Arbitrary Kind
A Serrano, VC Miraldo
International Symposium on Practical Aspects of Declarative Languages, 150-168, 2019
12019
Type Error Customization for Embedded Domain-Specific Languages
A Serrano
Utrecht University, 2018
12018
Type Directives and Type Graphs in Elm
F Peijnenburg, J Hage, A Serrano
Proceedings of the 28th Symposium on the Implementation and Application of …, 2016
12016
Feedback Upon Feedback
A Serrano, J Hage
Trends in Functional Programming, 2015
12015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20