Edsko de Vries

Publications by Year

Research Areas

Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Distributed systems and fault tolerance, Parallel Computing and Optimization Techniques

Most-Cited Works

• → Communicating Transactions(2010)45 cited
• → Uniqueness Typing Simplified(2008)44 cited
• → Reverse Hoare Logic(2011)43 cited
• → A practical solution for scripting language compilers(2009)34 cited
• → True sums of products(2014)27 cited
• Communicating Transactions ⋆ (Extended Abstract)(2010)
• → Liveness of Communicating Transactions (Extended Abstract)(2010)14 cited
• → Polytypic programming in COQ(2008)13 cited
• → Polytypic properties and proofs in Coq(2009)9 cited
• → Uniqueness Typing Redefined(2007)8 cited