Benoit Valiron - POPL 2017 (original) (raw)

Name:Benoit Valiron

Bio:

Assistant professor at CentraleSupelec.

Country:France

Affiliation:LRI, CentraleSupelec, Univ. Paris Saclay

Personal website: http://www.monoidal.net

Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation