The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Alejandro Serrano 0001 Alejandro Serrano Mena ( http://dblp.L3S.de/Authors/Alejandro_Serrano_0001 )

URL (Homepage):  http://www.cs.uu.nl/staff/mena.html  Author page on DBLP  Author page in RDF  Community of Alejandro Serrano 0001 in ASPL-2

Publication years (Num. hits)
2010-2018 (18) 2019 (3)
Publication types (Num. hits)
article(7) inproceedings(13) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alejandro Serrano 0001, Jurriaan Hage A compiler architecture for domain-specific type error diagnosis. Search on Bibsonomy Open Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Victor Cacciari Miraldo Classes of Arbitrary Kind. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois An Inherently-Typed Formalization for Featherweight Java. Search on Bibsonomy SBLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor Cacciari Miraldo, Alejandro Serrano 0001 Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. Search on Bibsonomy TyDe@ICFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones Guarded impredicative polymorphism. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Victor Cacciari Miraldo Generic programming of all kinds. Search on Bibsonomy Haskell@ICFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001 Type Error Customization for Embedded Domain-Specific Languages. Search on Bibsonomy 2018   RDF
1Alejandro Serrano 0001, Jurriaan Hage Constraint Handling Rules with Binders, Patterns and Generic Quantification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Constraint handling rules with binders, patterns and generic quantification. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Lightweight soundness for towers of language extensions. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Generic Matching of Tree Regular Expressions over Haskell Data Types. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano 0001 Type Directives and Type Graphs in Elm. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage, Patrick Bahr Type families with class, type classes with family. Search on Bibsonomy Haskell The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Sized Type Analysis for Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Umer Liqat, Steve Kerrison, Alejandro Serrano 0001, Kyriakos Georgiou, Pedro López-García 0001, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Angela Fabregues, David Navarro, Alejandro Serrano 0001, Carles Sierra DipGame: a testbed for multiagent systems. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license