Deux articles des membres de l’équipe LoVe ont été acceptés au 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, site web: https://popl20.sigplan.org):
- Backpropagation in the Simply-Typed Lambda-calculus with Linear Negation, de Aloïs Brunel, Damiano Mazza et Michele Pagani. ArXiv version: https://arxiv.org/abs/1909.13768.
- Taylor Subsumes Scott, Berry, Kahn and Plotkin, de Davide Barbarossa et Giulio Manzonetto. Version en ligne: https://lipn.univ-paris13.fr/~gmanzonetto/papers/BarbarossaM20.pdf