Arnaud Spiwack
Arnaud Spiwack
Senior architect, Tweag
Adresse e-mail validée de spiwack.net - Page d'accueil
Titre
Citée par
Citée par
Année
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
942010
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
732017
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 11, 2008
652008
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
422006
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
21*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
102011
The rooster and the syntactic bracket
H Herbelin, A Spiwack
19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014
82014
Ajouter des entiers machine à Coq
A Spiwack
82006
An abstract type for constructing tactics in Coq
A Spiwack
Proof Search in Type Theory, 2010
72010
Featherweight-trait Java: a trait-based extension for FJ
L Liquori, A Spiwack
INRIA Sophia Antipolis-Méditerranée; INRIA, 2004
62004
Abstract interpretation as anti-refinement
A Spiwack
arXiv preprint arXiv:1310.4283, 2013
42013
A proof of strong normalisation using domain theory. Logic. Methods Comput
T Coquand, A Spiwack
Science 3 (4), 2007
42007
Notes on axiomatising Hurkens's Paradox
A Spiwack
arXiv preprint arXiv:1507.04577, 2015
22015
Coq 8.4 Reference Manual
P Boutillier, S Glondu, B Grégoire, H Herbelin, P Letouzey, PM Pédrot, ...
Inria, 2014
22014
Verified Computation in Homological Algebra
A Spiwack
2*2011
Catch me if you can Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
D Teller, A Spiwack, T Varoquaux
Implementation and Application of Functional Languages, 249-271, 2011
2*2011
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20