Emilio Jesús Gallego Arias - ICFP 2019

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Thu 9 Jun 2016

Name:Emilio Jesús Gallego Arias

Country:France

Affiliation:MINES ParisTech

Personal website: https://www.cri.ensmp.fr/people/gallego/

Research interests:theorem proving, functional programming, computer music

Contributions

2019

OCaml

Committee Member in Program Committee within the OCaml 2019-track

Show activities from other conferences

ICFP 2019-profile
View general profile