Collaborated with:
G.Karachalias T.Schrijvers B.C.d.S.Oliveira P.Wadler
Talks about:
constraint (1) quantifi (1) class (1)
Person: Gert-Jan Bottu
DBLP: Bottu:Gert=Jan
Contributed to:
Wrote 1 papers:
- Haskell-2017-BottuKSOW #constraints #quantifier
- Quantified class constraints (GJB, GK, TS, BCdSO, PW), pp. 148–161.