Edsko de Vries
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2008–2025
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HASKELL | Automatic C Bindings Generation for Haskell. | Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf |
| 2023 | HASKELL | falsify: Internal Shrinking Reimagined for Haskell. | Edsko de Vries |
| 2014 | ICFP | True sums of products. | Edsko de Vries, Andres Lh |
| 2011 | SEFM | Reverse Hoare Logic. | Edsko de Vries, Vasileios Koutavas |
| 2010 | APLAS | Liveness of Communicating Transactions (Extended Abstract). | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
| 2010 | CONCUR | Communicating Transactions - (Extended Abstract). | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
| 2009 | ICFP | Polytypic properties and proofs in Coq. | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
| 2009 | SAC | A practical solution for scripting language compilers. | Paul Biggar, Edsko de Vries, David Gregg |
| 2008 | ICFP | Polytypic programming in COQ. | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |