Arnaud Spiwack

According to our database, Arnaud Spiwack authored at least 18 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Linearly qualified types: generic inference for capabilities and uniqueness.

Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg

Proc. ACM Program. Lang., 2022

2021

Linear Constraints.

Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu

CoRR, 2021

Evaluating linear functions to symmetric monoidal categories.

Jean-Philippe Bernardy, Arnaud Spiwack

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

Union and intersection contracts are hard, actually.

Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack

Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021

2018

Linear Haskell: practical linearity in a higher-order polymorphic language.

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack

Proc. ACM Program. Lang., 2018

Circuits via topoi.

Arnaud Spiwack

CoRR, 2018

2015

The tree machine.

Arnaud Spiwack

CoRR, 2015

Notes on axiomatising Hurkens's Paradox.

Arnaud Spiwack

CoRR, 2015

2014

Balancing Lists: A Proof Pearl.

Guyslain Naves, Arnaud Spiwack

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Abstract interpretation as anti-refinement.

Arnaud Spiwack

CoRR, 2013

The Rooster and the Syntactic Bracket.

Hugo Herbelin, Arnaud Spiwack

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

2011

Verified Computing in Homological Algebra. (Calculs vérifiés en algèbre homologique).

Arnaud Spiwack

PhD thesis, 2011

2010

Extending Coq with Imperative Features and Its Application to SAT Verification.

Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2008

FeatherTrait: A modest extension of Featherweight Java.

Luigi Liquori, Arnaud Spiwack

ACM Trans. Program. Lang. Syst., 2008

Extending FeatherTrait Java with Interfaces.

Luigi Liquori, Arnaud Spiwack

Theor. Comput. Sci., 2008

Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml.

David Teller, Arnaud Spiwack, Till Varoquaux

Proceedings of the Implementation and Application of Functional Languages, 2008

2007

A proof of strong normalisation using domain theory.

Thierry Coquand, Arnaud Spiwack

Log. Methods Comput. Sci., 2007

Towards Constructive Homological Algebra in Type Theory.

Thierry Coquand, Arnaud Spiwack

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007