BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
Collaborated with:
T.Schrijvers D.Vytiniotis S.L.P.Jones A.H.Saleh M.Pretnar K.Pauwels M.Derhaeg G.Bottu B.C.d.S.Oliveira P.Wadler
Talks about:
function (3) depend (3) match (2) class (2) gadt (2) constraint (1) quantifi (1) explicit (1) bidirect (1) pattern (1)

Person: Georgios Karachalias

DBLP DBLP: Karachalias:Georgios

Contributed to:

ICFP 20152015
ESOP 20182018
Haskell 20172017
Haskell 20192019

Wrote 5 papers:

ICFP-2015-KarachaliasSVJ #data type #lazy evaluation #pattern matching
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.
ESOP-2018-SalehKPS #type system
Explicit Effect Subtyping (AHS, GK, MP, TS), pp. 327–354.
Haskell-2017-BottuKSOW #constraints #quantifier
Quantified class constraints (GJB, GK, TS, BCdSO, PW), pp. 148–161.
Haskell-2017-KarachaliasS #dependence #exclamation #functional
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.
Haskell-2019-PauwelsKDS #bidirectional
Bidirectional type class instances (KP, GK, MD, TS), pp. 30–43.
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.