Uniqueness Typing Redefined. - Edsko de Vries; Rinus Plasmeijer; David M. Abrahamson (IFL, 2006)

Uniqueness Typing Simplified. - Edsko de Vries; Rinus Plasmeijer; David M. Abrahamson (IFL, 2007)

Polytypic programming in COQ. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (ICFP-WGP, 2008)

Polytypic properties and proofs in Coq. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (WGP@ICFP, 2009)

A practical solution for scripting language compilers. - Paul Biggar; Edsko de Vries; David Gregg (SAC, 2009)

Making uniqueness typing less unique - Edsko de Vries (2009)

Liveness of Communicating Transactions (Extended Abstract). - Edsko de Vries; Vasileios Koutavas; Matthew Hennessy (APLAS, 2010)

Communicating Transactions - (Extended Abstract). - Edsko de Vries; Vasileios Koutavas; Matthew Hennessy (CONCUR, 2010)

Formal polytypic programs and proofs. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (J. Funct. Program., 2010)

Reverse Hoare Logic. - Edsko de Vries; Vasileios Koutavas (SEFM, 2011)

A practical solution for achieving language compatibility in scripting language compilers. - Paul Biggar; Edsko de Vries; David Gregg (Sci. Comput. Program., 2012)

Modelling Unique and Affine Typing Using Polymorphism. - Edsko de Vries (The Beauty of Functional Code, 2013)

True sums of products. - Edsko de Vries; Andres Löh (WGP@ICFP, 2014)

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. - Adrian Francalanza; Edsko de Vries; Matthew Hennessy (Log. Methods Comput. Sci., 2014)

Uniqueness typing for resource management in message-passing concurrency. - Edsko de Vries; Adrian Francalanza; Matthew Hennessy (J. Log. Comput., 2014)

Locally Nameless Permutation Types. - Edsko de Vries; Vasileios Koutavas (CoRR, 2017)

Searching entangled program spaces. - James Koppel; Zheng Guo 003; Edsko de Vries; Armando Solar-Lezama; Nadia Polikarpova (Proc. ACM Program. Lang., 2022)

falsify: Internal Shrinking Reimagined for Haskell. - Edsko de Vries (Haskell, 2023)