|Based in:||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).
He previously worked for Microsoft Research in Redmond, WA on an experimental Haskell-like language called Morrow and graduated top of his class in computer science in Trinity College.
Recent blog posts by Edsko de Vries
Edsko de Vries – Tuesday, 04 September 2018
Edsko de Vries – Friday, 15 January 2016