Scholar
Arnaud Spiwack
Google Scholar ID: zEcv2OUAAAAJ
Director, Research, Tweag & Modus Create
Linear types
Type Theory
Constructive Mathematics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
582
H-index
10
i10-index
10
Publications
20
Co-authors
10
list available
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
Co-authors
6 total
Jean-Philippe Bernardy
University of Gothenburg and Chalmers University of Technology
Luigi Liquori
Directeur de Recherche INRIA
Simon Peyton Jones
Epic Games
Csongor Kiss
Imperial College London
Nicolas Wu
Professor of Computer Science, Imperial College London
Richard A. Eisenberg
Jane Street
