Two research papers from members of the LoVe team were accepted for publication at the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, website: https://popl20.sigplan.org):
- Backpropagation in the Simply-Typed Lambda-calculus with Linear Negation, Aloïs Brunel, Damiano Mazza and Michele Pagani. ArXiv version: https://arxiv.org/abs/1909.13768.
- Taylor Subsumes Scott, Berry, Kahn and Plotkin, Davide Barbarossa and Giulio Manzonetto. Online version: https://lipn.univ-paris13.fr/~gmanzonetto/papers/BarbarossaM20.pdf