Edsko de Vries

A practical solution for scripting language compilers

Paul Biggar, Edsko de Vries, David Gregg · 2009 · 34 citations

Computing, Computer Engineering, Computer Science +11

True sums of products

Edsko de Vries, Andres Löh · 2014 · 27 citations

Computing, Computer Science, Compilers +13

Communicating Transactions ⋆ (Extended Abstract)

Edsko de Vries, Vasileios Koutavas, Matthew Hennessy · 2010 · 16 citations

Computing, Computer Science, Message Passing +7

Searching entangled program spaces

James Koppel, Zheng Guo, Edsko de Vries et al. · Proceedings of the ACM on Programming Languages · 2022 · 16 citations · Full text

Computing, Computer Science, Algorithms +10

Polytypic programming in COQ

Wendy Verbruggen, Edsko de Vries, Arthur Hughes · 2008 · 13 citations

Computing, Computer Science, Formal Methods +15