Arnaud Spiwack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DLS | Union and intersection contracts are hard, actually. | Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack |
| 2021 | HASKELL | Evaluating linear functions to symmetric monoidal categories. | Jean-Philippe Bernardy, Arnaud Spiwack |
| 2014 | ITP | Balancing Lists: A Proof Pearl. | Guyslain Naves, Arnaud Spiwack |
| 2010 | ITP | Extending Coq with Imperative Features and Its Application to SAT Verification. | Michal Armand, Benjamin Grgoire, Arnaud Spiwack, Laurent Thry |
| 2006 | LICS | A Proof of Strong Normalisation using Domain Theory. | Thierry Coquand, Arnaud Spiwack |