
Registered user since Thu 16 Jun 2022
Name:Marie Kerjean
Country:France
Affiliation:CNRS, Université Sorbonne Paris Nord
Personal website:https://lipn.univ-paris13.fr/~kerjean/
Contributions
LAFI 2023 | ∂ is for Dialectica: typing differentiable programming | ||||||||||||||||||||||||||||||||||||||||
CPP 2023 | Committee Member in Program Committee within the CPP 2023-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile