Nombre de documents


CV de Arnaud Spiwack

Rapport2 documents

  • Pierre Boutillier, Stephane Glondu, Benjamin Grégoire, Hugo Herbelin, Pierre Letouzey, et al.. Coq 8.4 Reference Manual. [Research Report] Inria. 2014. <hal-01114602>
  • Luigi Liquori, Arnaud Spiwack. Featherweight-Trait Java : A Trait-based Extension for FJ. [Research Report] RR-5247, INRIA Sophia Antipolis - Méditerranée; INRIA. 2004, pp.27. <inria-00070751>

Article dans une revue3 documents

  • Luigi Liquori, Arnaud Spiwack. Extending FeatherTrait Java with Interfaces. Theoretical Computer Science, Elsevier, 2010, Theoretical Computer Science, 30 (1-3), pp.243-260. <10.1016/j.tcs.2008.01.051>. <inria-00432540>
  • Luigi Liquori, Arnaud Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. <10.1145/1330017.1330022>. <inria-00432538>
  • Thierry Coquand, Arnaud Spiwack. A Proof of Strong Normalisation Using Domain Theory. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 16 p. <10.2168/LMCS-3(4:12)2007>. <inria-00432448>

Thèse1 document

  • Arnaud Spiwack. Verified Computing in Homological Algebra. Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English. <pastel-00605836>

Communication dans un congrès5 documents

  • Arnaud Spiwack. An abstract type for constructing tactics in Coq. Proof Search in Type Theory, Jul 2010, Edinburgh, United Kingdom. 2010. <inria-00502500>
  • Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry. Extending Coq with Imperative Features and its Application to SAT Verification. Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. 2010. <inria-00502496v2>
  • 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, Sep 2008, Hertfordshire, United Kingdom. 21 p., 2008. <inria-00432575>
  • Thierry Coquand, Arnaud Spiwack. Towards Constructive Homological Algebra in Type Theory. CALCULEMUS 2007, Jun 2007, Hagenberg, Austria. 12 p., 2007, <10.1007/978-3-540-73086-6_4>. <inria-00432525>
  • Thierry Coquand, Arnaud Spiwack. A Proof of Strong Normalisation using Domain Theory. LICS 2006, Aug 2006, Seatle, United States. 10 p., 2006, <10.1109/LICS.2006.8>. <inria-00432490>

Chapitre d'ouvrage1 document

  • Arnaud Spiwack, Thierry Coquand. Constructively Finite?. Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5. <inria-00503917>