Edsko de Vries

According to our database, Edsko de Vries authored at least 17 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

falsify: Internal Shrinking Reimagined for Haskell.

Edsko de Vries

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Searching entangled program spaces.

James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

Proc. ACM Program. Lang., 2022

2017

Locally Nameless Permutation Types.

Edsko de Vries, Vasileios Koutavas

CoRR, 2017

2014

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency.

Adrian Francalanza, Edsko de Vries, Matthew Hennessy

Log. Methods Comput. Sci., 2014

True sums of products.

Edsko de Vries, Andres Löh

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

2013

Modelling Unique and Affine Typing Using Polymorphism.

Edsko de Vries

Proceedings of the Beauty of Functional Code, 2013

2012

A practical solution for achieving language compatibility in scripting language compilers.

Paul Biggar, Edsko de Vries, David Gregg

Sci. Comput. Program., 2012

2011

Reverse Hoare Logic.

Edsko de Vries, Vasileios Koutavas

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Formal polytypic programs and proofs.

Wendy Verbruggen, Edsko de Vries, Arthur Hughes

J. Funct. Program., 2010

Communicating Transactions - (Extended Abstract).

Edsko de Vries, Vasileios Koutavas, Matthew Hennessy

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Liveness of Communicating Transactions (Extended Abstract).

Edsko de Vries, Vasileios Koutavas, Matthew Hennessy

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Uniqueness Typing for Resource Management in Message-Passing Concurrency

Edsko de Vries, Adrian Francalanza, Matthew Hennessy

Proceedings of the Proceedings First International Workshop on Linearity, 2009

A practical solution for scripting language compilers.

Paul Biggar, Edsko de Vries, David Gregg

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Polytypic properties and proofs in Coq.

Wendy Verbruggen, Edsko de Vries, Arthur Hughes

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

Polytypic programming in COQ.

Wendy Verbruggen, Edsko de Vries, Arthur Hughes

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

2007

Uniqueness Typing Simplified.

Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson

Proceedings of the Implementation and Application of Functional Languages, 2007

2006

Uniqueness Typing Redefined.

Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson

Proceedings of the Implementation and Application of Functional Languages, 2006