Alejandro Serrano

发表

ReactOS: Windows libre

Alejandro Serrano, 2006 .

On the Cost of Capital in Inventory Models: The Case of Deterministic Demand

Alejandro Serrano, 2017, Found. Trends Technol. Inf. Oper. Manag..

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

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

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

Jurriaan Hage, Alejandro Serrano, 2016, ESOP.

A compiler architecture for domain-specific type error diagnosis

Jurriaan Hage, Alejandro Serrano, A. Serrano, 2019, Open Comput. Sci..

Generic Matching of Tree Regular Expressions over Haskell Data Types

Jurriaan Hage, Alejandro Serrano, 2016, PADL.

Sized Type Analysis for Logic Programs

Manuel V. Hermenegildo, Pedro López-García, Alejandro Serrano, 2013, Theory Pract. Log. Program..

Lightweight soundness for towers of language extensions

Jurriaan Hage, Alejandro Serrano, 2017, PEPM.

Bugs Detection Model With Human Computation

Meliza Contreras, Pedro Bello, Alejandro Serrano, 2013 .

Classes of Arbitrary Kind

Victor Cacciari Miraldo, Alejandro Serrano, 2019, PADL.

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

Manuel V. Hermenegildo, Umer Liqat, Kerstin Eder, 2013, LOPSTR.

Type Error Customization for Embedded Domain-Specific Languages

Alejandro Serrano, 2018 .

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

Jurriaan Hage, Alejandro Serrano, 2017, IFL.

A quick look at impredicativity

Simon L. Peyton Jones, Jurriaan Hage, Alejandro Serrano, 2020, Proc. ACM Program. Lang..

DipGame: a Testbed for Multiagent Systems (Extended Abstract)

Alejandro Serrano, David Navarro, Angela Fabregues, 2010 .

Guarded impredicative polymorphism

Simon L. Peyton Jones, Jurriaan Hage, Alejandro Serrano, 2018, PLDI.

DipGame: a testbed for multiagent systems

Carles Sierra, Alejandro Serrano, David Navarro, 2010, AAMAS.

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

Manuel V. Hermenegildo, Pedro López-García, Alejandro Serrano, 2014, Theory and Practice of Logic Programming.

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

Victor Cacciari Miraldo, Alejandro Serrano, 2018, TyDe@ICFP.

Type Directives and Type Graphs in Elm

Jurriaan Hage, Alejandro Serrano, Falco Peijnenburg, 2016, IFL 2016.

Reverse Factoring: A Theory on the Value of Payment Terms Extension

Alejandro Serrano, Spyridon Damianos Lekkakos, 2017, Found. Trends Technol. Inf. Oper. Manag..

Persuasive technologies in building support system to prevent non-communicable diseases caused by sedentary lifestyle

Alejandro Serrano, María J. Somodevilla, I. H. Pineda, 2014 .

Type families with class, type classes with family

Jurriaan Hage, Alejandro Serrano, Patrick Bahr, 2015, Haskell.

Generic programming of all kinds

Victor Cacciari Miraldo, Alejandro Serrano, 2018, Haskell@ICFP.

Constraint handling rules with binders, patterns and generic quantification pdf

Jurriaan Hage, Alejandro Serrano, 2017, Theory Pract. Log. Program..