Registered user since Tue 13 Jan 2015
Name: Ruud Koot
Bio: Ph.D. candidate in computer science at Utrecht University
Country: Netherlands
Affiliation: Utrecht University
Personal website: https://ruudkoot.nl/
Research interests: Static Program Analysis, Type Systems
Contributions
| PEPM 2015 | Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PEPM 2015-profile
View general profile
View general profile