Input Output

Edsko de Vries

Team Well-Typed

The Hague, Netherlands

Edsko started programming at a very young age and has been using Haskell since 2004.

He holds a PhD in advanced (substructural) type systems for pure functional languages such as Haskell from Trinity College, Dublin. After his PhD he worked as a postdoctoral researcher on proving properties of polytypic (Generic Haskell) functional programs and of concurrent programs. As part of that research he developed a high-level language construct called Communicating Transactions for distributed automatic error recovery in message-passing languages such as Erlang or Cloud Haskell.

He has published widely in international conferences and journals, including the Journal of Functional Programming and CONCUR (International Conference on Concurrency Theory).

E7A7 7CFA 89BD B805 F206 078C 0E11 ED75 F746 54D4