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