Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
Benoit Valiron

Registered user since Tue 9 Feb 2016

Name:Benoit Valiron
Bio:

Assistant professor at CentraleSupelec.

Country:France
Affiliation:Université Paris-Saclay, CNRS, CentraleSupélec, LMF
Personal website: http://www.monoidal.net
Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation

Contributions

Show activities from other conferences

PLDI 2021-profile
View general profile