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
1 × United Kingdom
Collaborated with:
R.Jhala N.Vazou D.Vytiniotis S.L.P.Jones Huma Sibghat K.Chaudhuri W.Weimer T.Elliott L.Pike S.Winwood P.C.Hickey J.Bielman J.Sharp J.Launchbury
Talks about:
type (4) haskel (2) refin (2) diagnosi (1) target (1) liquid (1) experi (1) driven (1) world (1) novic (1)

Person: Eric L. Seidel

DBLP DBLP: Seidel:Eric_L=

Contributed to:

ESOP 20152015
ICFP 20142014
Haskell 20142014
Haskell 20152015
OOPSLA 20172017

Wrote 5 papers:

ESOP-2015-SeidelVJ #testing
Type Targeted Testing (ELS, NV, RJ), pp. 812–836.
ICFP-2014-VazouSJVJ #haskell #refinement
Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
Haskell-2014-VazouSJ #experience #haskell #named #refinement
LiquidHaskell: experience with refinement types in the real world (NV, ELS, RJ), pp. 39–51.
Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.
OOPSLA-2017-SeidelSCWJ #data-driven #fault #learning
Learning to blame: localizing novice type errors with data-driven diagnosis (ELS, HS, KC, WW, RJ), p. 27.

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.