Collaborated with:
R.A.Eisenberg S.L.P.Jones
Talks about:
haskel (2) famili (2) type (2) function (1) promot (1) inject (1)
Person: Jan Stolarek
DBLP: Stolarek:Jan
Contributed to:
Wrote 2 papers:
- Haskell-2014-EisenbergS #haskell #product line
- Promoting functions to type families in Haskell (RAE, JS), pp. 95–106.
- Haskell-2015-StolarekJE #haskell #injection #product line
- Injective type families for Haskell (JS, SLPJ, RAE), pp. 118–128.