Registered user since Sat 12 Sep 2015
Name:Jurriaan Hage
Affiliation:Utrecht University
Contributions
2017
PEPM
- Session Chair of Transformation (part II) (part of PEPM 2017)
- Committee Member in Programme Committee within the PEPM 2017-track
- Refining types using type guards in TypeScript
- Predicting Resource Consumption of Higher-Order Workflows
- Committee Member in Programme Committee
- Lightweight Soundness for Towers of Language Extensions
- Cost versus Precision for Approximate Typing for Python
POPL 2017-profile
View general profile
View general profile