Arnaud Spiwack
Scholar

Arnaud Spiwack

Google Scholar ID: zEcv2OUAAAAJ
Director, Research, Tweag & Modus Create
Linear typesType TheoryConstructive Mathematics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
247
 
H-index
6
 
i10-index
4
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
3 items
Refinement-Types Driven Development: A study
2025
Cited
0
Invertible Syntax without the Tuples (Functional Pearl)
2025
Cited
0
Destination Calculus: A Linear {lambda}-Calculus for Purely Functional Memory Writes
2025
Cited
0
Resume (English only)
Co-authors
10 total
Co-author 1
Co-author 1
Luigi Liquori
Luigi Liquori
Directeur de Recherche INRIA
Simon Peyton Jones
Simon Peyton Jones
Epic Games
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Nicolas Wu
Nicolas Wu
Professor of Computer Science, Imperial College London
Co-author 7
Co-author 7
Co-author 8
Co-author 8