Registered user since Thu 5 May 2016

Name: Louis Mandel

Country: United States

Affiliation: IBM Research

Personal website: http://researcher.watson.ibm.com/researcher/view.php?person=us-lmandel

ICFP 2017 Activities

• Committee Member in Program Committee for OCaml 2017
• Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
• Show activities from other conferences