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
582
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
4 items
Linear Constraints
2026
Cited
0
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
Jean-Philippe Bernardy
Jean-Philippe Bernardy
University of Gothenburg and Chalmers University of Technology
Luigi Liquori
Luigi Liquori
Directeur de Recherche INRIA
Simon Peyton Jones
Simon Peyton Jones
Epic Games
Co-author 4
Co-author 4
Csongor Kiss
Csongor Kiss
Imperial College London
Nicolas Wu
Nicolas Wu
Professor of Computer Science, Imperial College London
Richard A. Eisenberg
Richard A. Eisenberg
Jane Street
Co-author 8
Co-author 8