Arnaud Spiwack

ORCID

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 11

Top Venues

CoRR

Proc. ACM Program. Lang.

ITP

TYPES

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
Linearly qualified types: generic inference for capabilities and uniqueness. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jean-Philippe Bernardy, Arnaud Spiwack
Evaluating Linear Functions to Symmetric Monoidal Categories. CoRR (2021)
Jean-Philippe Bernardy, Arnaud Spiwack
Evaluating linear functions to symmetric monoidal categories. Haskell (2021)
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
Linear Constraints. CoRR (2021)
Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack
Union and intersection contracts are hard, actually. DLS (2021)
Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack
Union and intersection contracts are hard, actually. CoRR (2021)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. Proc. ACM Program. Lang. 2 (POPL) (2018)
Arnaud Spiwack
Circuits via topoi. CoRR (2018)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR (2017)
Arnaud Spiwack
Notes on axiomatising Hurkens's Paradox. CoRR (2015)
Arnaud Spiwack
The tree machine. CoRR (2015)
Guyslain Naves, Arnaud Spiwack
Balancing Lists: A Proof Pearl. ITP (2014)
Guyslain Naves, Arnaud Spiwack
Balancing lists: a proof pearl. CoRR (2014)
Arnaud Spiwack
Abstract interpretation as anti-refinement. CoRR (2013)
Hugo Herbelin, Arnaud Spiwack
The Rooster and the Syntactic Bracket. CoRR (2013)
Hugo Herbelin, Arnaud Spiwack
The Rooster and the Syntactic Bracket. TYPES (2013)
Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry
Extending Coq with Imperative Features and Its Application to SAT Verification. ITP (2010)
Luigi Liquori, Arnaud Spiwack
FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30 (2) (2008)
David Teller, Arnaud Spiwack, Till Varoquaux
Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml. IFL (2008)
Luigi Liquori, Arnaud Spiwack
Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. 398 (1-3) (2008)
Thierry Coquand, Arnaud Spiwack
A proof of strong normalisation using domain theory CoRR (2007)
Thierry Coquand, Arnaud Spiwack
A proof of strong normalisation using domain theory. Log. Methods Comput. Sci. 3 (4) (2007)
Thierry Coquand, Arnaud Spiwack
Towards Constructive Homological Algebra in Type Theory. Calculemus/MKM (2007)
Thierry Coquand, Arnaud Spiwack
A Proof of Strong Normalisation using Domain Theory. LICS (2006)

Arnaud Spiwack.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnaud Spiwack