Arnaud Spiwack
Arnaud Spiwack
Senior architect, Tweag
Verified email at spiwack.net - Homepage
Title
Cited by
Cited by
Year
Extending Coq with imperative features and its application to SAT verification
M Armand, B Grégoire, A Spiwack, L Théry
International Conference on Interactive Theorem Proving, 83-98, 2010
892010
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 11, 2008
642008
Linear Haskell: practical linearity in a higher-order polymorphic language
JP Bernardy, M Boespflug, RR Newton, S Peyton Jones, A Spiwack
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
462017
A proof of strong normalisation using domain theory
T Coquand, A Spiwack
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 307-316, 2006
432006
Towards constructive homological algebra in type theory
T Coquand, A Spiwack
Towards Mechanized Mathematical Assistants, 40-54, 2007
242007
Constructively Finite?
T Coquand, A Spiwack
Universidad de La Rioja, 2010
20*2010
Extending feathertrait java with interfaces
L Liquori, A Spiwack
Theoretical Computer Science 398 (1-3), 243-260, 2008
162008
Verified computing in homological algebra, a journey exploring the power and limits of dependent type theory
A Spiwack
PhD thesis, INRIA, 2011
102011
Ajouter des entiers machine à Coq
A Spiwack
82006
The rooster and the syntactic bracket
H Herbelin, A Spiwack
19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014
72014
An abstract type for constructing tactics in Coq
A Spiwack
72010
Featherweight-trait Java: a trait-based extension for FJ
L Liquori, A Spiwack
62004
A proof of strong normalisation using domain theory. Logic. Methods Comput
T Coquand, A Spiwack
Science 3 (4), 2007
52007
Abstract interpretation as anti-refinement
A Spiwack
arXiv preprint arXiv:1310.4283, 2013
42013
Coq 8.4 Reference Manual
P Boutillier, S Glondu, B Grégoire, H Herbelin, P Letouzey, PM Pédrot, ...
32014
Notes on axiomatising Hurkens's Paradox
A Spiwack
arXiv preprint arXiv:1507.04577, 2015
22015
Proof of normalisation using domain theory
T Coquand, A Spiwack
Slides of a talk, 2005
22005
Reducibility domain
A Spiwack
Master's thesis, ENS Cachan, 2005
22005
Adding multiple inheritance to Featherweight Java
L Liquori, A Spiwack
INRIA Sophia Antipolis & ENS Cachan, available at wwwsop. inria. fr/mirho …, 2004
22004
Balancing lists: A proof pearl
G Naves, A Spiwack
International Conference on Interactive Theorem Proving, 437-449, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20