conf.researchr.org / Ruud Koot
Registered user since Tue 13 Jan 2015
Haskell developer in the Modelling & Analytics Group at Standard Chartered Bank.
Affiliation:Standard Chartered Bank
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|