Ruud Koot

Registered user since Tue 13 Jan 2015

Name:Ruud Koot

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

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


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