Arnaud Spiwack

Identifiers

• name variant Arnaud Spiwack 0.60 · backfill

Papers (9)

1. Linear Constraints cs.PL · 2026 · author #1
2. Circuits via topoi cs.LO · 2018 · author #1
3. Linear Haskell: practical linearity in a higher-order polymorphic language cs.PL · 2017 · author #5
4. The tree machine cs.LO · 2015 · author #1
5. Notes on axiomatising Hurkens's Paradox cs.LO · 2015 · author #1
6. Balancing lists: a proof pearl cs.DS · 2014 · author #2
7. Abstract interpretation as anti-refinement cs.PL · 2013 · author #1
8. The Rooster and the Syntactic Bracket cs.LO · 2013 · author #2
9. A proof of strong normalisation using domain theory cs.LO · 2007 · author #2

Mentions

• 1507.04589 #1 · backfill · confidence 0.70 Arnaud Spiwack
• 1507.04577 #1 · backfill · confidence 0.70 Arnaud Spiwack
• 1401.7886 #2 · backfill · confidence 0.70 Arnaud Spiwack
• 1310.4283 #1 · backfill · confidence 0.70 Arnaud Spiwack
• 1309.5767 #2 · backfill · confidence 0.70 Arnaud Spiwack
• 0709.1401 #2 · backfill · confidence 0.70 Arnaud Spiwack

Frequent Coauthors

• Jean-Philippe Bernardy 2 shared papers
• Csongor Kiss 1 shared papers
• Guyslain Naves 1 shared papers
• Hugo Herbelin 1 shared papers
• Mathieu Boespflug 1 shared papers
• Nicolas Wu 1 shared papers
• Richard A. Eisenberg 1 shared papers
• Ryan R. Newton 1 shared papers
• Simon Peyton Jones 1 shared papers
• Thierry Coquand 1 shared papers