Collaborated with:
M.Odersky Fengyun Liu A.Biboudis H.Miller S.Stucki
Talks about:
simplicit (1) implicit (1) function (1) foundat (1) applic (1) type (1)
Person: Olivier Blanvillain
DBLP: Blanvillain:Olivier
Contributed to:
Wrote 1 papers:
- POPL-2018-OderskyBLBMS #named
- Simplicitly: foundations and applications of implicit function types (MO, OB, FL, AB, HM, SS), p. 29.