BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Sweden
3 × USA
Collaborated with:
S.Weirich S.P.Jones S.L.P.Jones J.Stolarek J.Breitner T.Muranushi D.Otwani J.Hsu H.G.Ahmed M.P.Jones J.G.Morris N.Xie B.C.d.S.Oliveira D.Vytiniotis M.Pickering G.Érdi C.DeLozier S.Nagarakatte P.Osera M.M.K.Martin S.Zdancewic
Talks about:
type (10) haskel (4) famili (3) polymorph (2) pattern (2) datatyp (2) safe (2) kind (2) hoc (2) ad (2)

Person: Richard A. Eisenberg

DBLP DBLP: Eisenberg:Richard_A=

Facilitated 1 volumes:

Haskell 2019Ed

Contributed to:

ICFP 20142014
POPL 20142014
ICFP 20132013
OOPSLA 20132013
ESOP 20162016
Haskell 20122012
Haskell 20142014
Haskell 20152015
Haskell 20162016
Haskell 20182018
PLDI 20172017
POPL 20202020

Wrote 15 papers:

ICFP-2014-BreitnerEJW #haskell #low cost
Safe zero-cost coercions for Haskell (JB, RAE, SLPJ, SW), pp. 189–202.
POPL-2014-EisenbergVJW #equation #product line
Closed type families with overlapping equations (RAE, DV, SLPJ, SW), pp. 671–684.
ICFP-2013-WeirichHE #similarity
System FC with explicit kind equality (SW, JH, RAE), pp. 275–286.
OOPSLA-2013-DeLozierENOMZ #c++ #set #type safety
Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.
Visible Type Application (RAE, SW, HGA), pp. 229–254.
Haskell-2012-EisenbergW #programming
Dependently typed programming with singletons (RAE, SW), pp. 117–130.
Haskell-2014-EisenbergS #haskell #product line
Promoting functions to type families in Haskell (RAE, JS), pp. 95–106.
Haskell-2014-MuranushiE #case study #experience #haskell #polymorphism #research
Experience report: type-checking polymorphic units for astrophysics research in Haskell (TM, RAE), pp. 31–38.
Haskell-2015-StolarekJE #haskell #injection #product line
Injective type families for Haskell (JS, SLPJ, RAE), pp. 118–128.
Pattern synonyms (MP, , SPJ, RAE), pp. 80–91.
Type variables in patterns (RAE, JB, SPJ), pp. 94–105.
Haskell-2018-OtwaniE #plugin
The Thoralf plugin: for your fancy type needs (DO, RAE), pp. 106–118.
PLDI-2017-EisenbergJ #morphism #polymorphism
Levity polymorphism (RAE, SPJ), pp. 525–539.
POPL-2020-JonesME #ad hoc #data type
Partial type constructors: or, making ad hoc datatypes less ad hoc (MPJ, JGM, RAE), p. 28.
POPL-2020-XieEO #data type
Kind inference for datatypes (NX, RAE, BCdSO), p. 28.

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.