Kenji Maillard - POPL 2017 (
original
) (
raw
)
Name:Kenji Maillard
Affiliation:Inria Paris, ENS Paris, and Microsoft Research