BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Hage V.C.Miraldo P.Bahr D.Vytiniotis S.P.Jones
Talks about:
type (4) famili (2) class (2) lightweight (1) polymorph (1) diagnosi (1) special (1) program (1) languag (1) generic (1)

Person: Alejandro Serrano 0001

DBLP DBLP: 0001:Alejandro_Serrano

Contributed to:

Haskell 20152015
Haskell 20182018
ESOP 20162016
PEPM 20172017
PLDI 20182018

Wrote 5 papers:

Haskell-2015-SerranoHB #product line
Type families with class, type classes with family (AS0, JH, PB), pp. 129–140.
Haskell-2018-SerranoM #programming
Generic programming of all kinds (AS0, VCM), pp. 41–54.
ESOP-2016-SerranoH #domain-specific language #embedded #fault
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules (AS0, JH), pp. 672–698.
PEPM-2017-SerranoH #lightweight
Lightweight soundness for towers of language extensions (AS0, JH), pp. 23–34.
PLDI-2018-SerranoHVJ #morphism #polymorphism
Guarded impredicative polymorphism (AS0, JH, DV, SPJ), pp. 783–796.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.