Not registered as user yet

Name: Kenji Maillard

Affiliation: Inria Paris, ENS Paris, and Microsoft Research

POPL 2017 Activities

• Author of Dijkstra Monads for Free within the POPL-track in POPL 2017
• Show activities from other conferences