Ruud Koot

Registered user since Tue 13 Jan 2015

Name:Ruud Koot
Bio:

Haskell developer in the Modelling & Analytics Group at Standard Chartered Bank.

Country:United Kingdom
Affiliation:Standard Chartered Bank
Personal website:https://ruudkoot.nl/
Research interests:Static Program Analysis, Type Systems, Term Rewriting

Contributions

PEPM 2015 Author of Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics within the PEPM 2015-track