( en | de | ru )

 

Disambiguation of "de Vries, Edsko"

Author of the publication

copydeleteadd this publication to your clipboard
Polytypic properties and proofs in Coq.

, , and . WGP@ICFP, page 1-12. ACM, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrike de Vries

Gerhard de Vries

Claudia de Vries

Silke De Vries

Maren de Vries

 

Other publications of authors with the same name

Locally Nameless Permutation Types., and . CoRR, (2017)Liveness of Communicating Transactions (Extended Abstract)., , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 392-407. Springer, (2010)Searching Entangled Program Spaces., , , , and . CoRR, (2022)True Sums of Products, and . Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, page 83--94. New York, NY, USA, ACM, (2014)Polytypic properties and proofs in Coq., , and . WGP@ICFP, page 1-12. ACM, (2009)A practical solution for scripting language compilers., , and . SAC, page 1916-1923. ACM, (2009)Modelling Unique and Affine Typing Using Polymorphism.. The Beauty of Functional Code, volume 8106 of Lecture Notes in Computer Science, page 181-192. Springer, (2013)A practical solution for achieving language compatibility in scripting language compilers., , and . Sci. Comput. Program., 77 (9): 971-989 (2012)Polytypic programming in COQ., , and . ICFP-WGP, page 49-60. ACM, (2008)falsify: Internal Shrinking Reimagined for Haskell.. Haskell, page 97-109. ACM, (2023)