Statistics
Publications
1
Citations
11
H-Index
1
Active since
2016
Affiliations
Guillaume Martres is an author at École Polytechnique Fédérale de Lausanne specializing in polymorphic types, lambda calculus semantics, and type classes.
Publications per year
2016–2016
1
1
Implementing higher-kinded types in Dotty
Martin Odersky, Guillaume Martres, Dmitry Petrashko · 2016 · 11 citations · Full text
1–1 of 1