Edsko de Vries

21 papers B 3C 2Misc 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2025 C conf
Automatic C Bindings Generation for Haskell.
Haskell
Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf
2023 C conf
falsify: Internal Shrinking Reimagined for Haskell.
Haskell
Edsko de Vries
2022 J jnl
Searching Entangled Program Spaces.
CoRR
James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2022 J jnl
Searching entangled program spaces.
Proc. ACM Program. Lang.
James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
2017 J jnl
Locally Nameless Permutation Types.
CoRR
Edsko de Vries, Vasileios Koutavas
2014 J jnl
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency.
Log. Methods Comput. Sci.
Adrian Francalanza, Edsko de Vries, Matthew Hennessy
2014 — conf
True sums of products.
WGP@ICFP
Edsko de Vries, Andres Löh
2014 J jnl
Uniqueness typing for resource management in message-passing concurrency.
J. Log. Comput.
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2013 — conf
Modelling Unique and Affine Typing Using Polymorphism.
The Beauty of Functional Code
Edsko de Vries
2012 J jnl
A practical solution for achieving language compatibility in scripting language compilers.
Sci. Comput. Program.
Paul Biggar, Edsko de Vries, David Gregg
2011 B conf
Reverse Hoare Logic.
SEFM
Edsko de Vries, Vasileios Koutavas
2010 B conf
Communicating Transactions - (Extended Abstract).
CONCUR
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
2010 J jnl
Formal polytypic programs and proofs.
J. Funct. Program.
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2010 B conf
Liveness of Communicating Transactions (Extended Abstract).
APLAS
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
2009 Misc conf
A practical solution for scripting language compilers.
SAC
Paul Biggar, Edsko de Vries, David Gregg
2009 — —
Making uniqueness typing less unique
Edsko de Vries
2009 — conf
Polytypic properties and proofs in Coq.
WGP@ICFP
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2009 — conf
Uniqueness Typing for Resource Management in Message-Passing Concurrency
LINEARITY
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2008 — conf
Polytypic programming in COQ.
ICFP-WGP
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
2007 — conf
Uniqueness Typing Simplified.
IFL
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
2006 — conf
Uniqueness Typing Redefined.
IFL
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson