| 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 | 96 | 2010 |
| 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 | 91 | 2017 |
| FeatherTrait: A modest extension of Featherweight Java L Liquori, A Spiwack ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 11, 2008 | 70 | 2008 |
| 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 | 42 | 2006 |
| Towards constructive homological algebra in type theory T Coquand, A Spiwack Towards Mechanized Mathematical Assistants, 40-54, 2007 | 26 | 2007 |
| Constructively Finite? T Coquand, A Spiwack Universidad de La Rioja, 2010 | 22* | 2010 |
| Extending feathertrait java with interfaces L Liquori, A Spiwack Theoretical Computer Science 398 (1-3), 243-260, 2008 | 16 | 2008 |
| Verified Computing in Homological Algebra: A Journey Exploring the Power and Limits of Dependent Type Theory A Spiwack | 11 | 2011 |
| The rooster and the syntactic bracket H Herbelin, A Spiwack 19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014 | 8 | 2014 |
| Ajouter des entiers machine à Coq A Spiwack | 8 | 2006 |
| An abstract type for constructing tactics in Coq A Spiwack Proof Search in Type Theory, 2010 | 7 | 2010 |
| Featherweight-trait Java: a trait-based extension for FJ L Liquori, A Spiwack INRIA Sophia Antipolis-Méditerranée; INRIA, 2004 | 6 | 2004 |
| Abstract interpretation as anti-refinement A Spiwack arXiv preprint arXiv:1310.4283, 2013 | 4 | 2013 |
| A proof of strong normalisation using domain theory. Logic. Methods Comput T Coquand, A Spiwack Science 3 (4), 2007 | 4 | 2007 |
| Evaluating linear functions to symmetric monoidal categories JP Bernardy, A Spiwack Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 14-26, 2021 | 3 | 2021 |
| Coq 8.4 reference manual P Boutillier, S Glondu, B Grégoire, H Herbelin, P Letouzey, PM Pédrot, ... Inria, 2014 | 3 | 2014 |
| Notes on axiomatising Hurkens's Paradox A Spiwack arXiv preprint arXiv:1507.04577, 2015 | 2 | 2015 |
| 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 | 2 | 2005 |
Jean-Philippe BernardyUniversity of GothenburgVerified email at gu.se
