| A core quantitative coeffect calculus A Brunel, M Gaboardi, D Mazza, S Zdancewic European Symposium on Programming Languages and Systems, 351-370, 2014 | 138 | 2014 |
| Distilling abstract machines B Accattoli, P Barenbaum, D Mazza ACM SIGPLAN Notices 49 (9), 363-376, 2014 | 99 | 2014 |
| Automatic differentiation in PCF D Mazza, M Pagani Proceedings of the ACM on Programming Languages 5 (POPL), 1-27, 2021 | 63 | 2021 |
| Polyadic approximations, fibrations and intersection types D Mazza, L Pellissier, P Vial Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 63 | 2017 |
| Linear logic by levels and bounded time complexity P Baillot, D Mazza Theoretical Computer Science 411 (2), 470-503, 2010 | 58 | 2010 |
| Backpropagation in the simply typed lambda-calculus with linear negation A Brunel, D Mazza, M Pagani Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 53 | 2019 |
| Simple parsimonious types and logarithmic space D Mazza 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 24-40, 2015 | 45 | 2015 |
| Parsimonious types and non-uniform computation D Mazza, K Terui Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015 | 38 | 2015 |
| An infinitary affine lambda-calculus isomorphic to the full lambda-calculus D Mazza 2012 27th Annual IEEE Symposium on Logic in Computer Science, 471-480, 2012 | 34 | 2012 |
| Multiport interaction nets and concurrency D Mazza International Conference on Concurrency Theory, 21-35, 2005 | 33 | 2005 |
| Interaction nets: Semantics and concurrent extensions D Mazza These de doctorat, Université Aix-Marseille II/Universita degli Studi Roma Tre, 2006 | 29 | 2006 |
| Linear logic and polynomial time D Mazza Mathematical Structures in Computer Science 16 (6), 947-988, 2006 | 29 | 2006 |
| The separation theorem for differential interaction nets D Mazza, M Pagani International Conference on Logic for Programming Artificial Intelligence …, 2007 | 28 | 2007 |
| A strong distillery B Accattoli, P Barenbaum, D Mazza Asian Symposium on Programming Languages and Systems, 231-250, 2015 | 27 | 2015 |
| Non-uniform polytime computation in the infinitary affine lambda-calculus D Mazza International Colloquium on Automata, Languages, and Programming, 305-317, 2014 | 21 | 2014 |
| The true concurrency of differential interaction nets D Mazza Mathematical Structures in Computer Science 28 (7), 1097-1125, 2018 | 20 | 2018 |
| Intersection types and runtime errors in the pi-calculus U Dal Lago, M de Visme, D Mazza, A Yoshimizu Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 18 | 2019 |
| Polyadic Approximations in Logic and Computation D Mazza Université Paris 13, 2017 | 17 | 2017 |
| A denotational semantics for the symmetric interaction combinators D Mazza Mathematical Structures in Computer Science 17 (3), 527-562, 2007 | 9 | 2007 |
| Infinitary affine proofs D Mazza Mathematical Structures in Computer Science 27 (5), 581-602, 2017 | 8 | 2017 |
Michele PaganiProfessor of Computer Science, ENS de LyonEmail yang diverifikasi di ens-lyon.fr