Jurriaan Hage

Registered user since Sat 12 Sep 2015

Name: Jurriaan Hage

Affiliation: Utrecht University

Contributions

PADL 2019Committee Member in Program Committee within the PADL 2019-track
ETAPS 2019Committee Member in Steering Committee
TyDe 2018Author of Extended Abstract: Improving Error Messages for Dependent Types within the TyDe 2018-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
‹Programming› 2018Author of On the Effect of Semantically Enriched Context Models on Software Modularization within the Research Papers-track
Haskell 2017Committee Member in Program Committee within the Haskell 2017-track
PLDI 2018Author of Guarded Impredicative Polymorphism within the PLDI Research Papers-track
CurryOn 2017Author of Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler within the Curry On Talks-track
PEPM 2017Session Chair of Transformation (part II) (part of PEPM 2017)
Committee Member in Programme Committee within the PEPM 2017-track
Author of Refining types using type guards in TypeScript within the PEPM 2017-track
Author of Predicting Resource Consumption of Higher-Order Workflows within the PEPM 2017-track
Committee Member in Programme Committee
Author of Lightweight Soundness for Towers of Language Extensions within the PEPM 2017-track
Author of Cost versus Precision for Approximate Typing for Python within the PEPM 2017-track
ICFP 2016Committee Member in Program Committee within the Research Papers-track
PADLAuthor of Generic Matching of Tree Regular Expressions over Haskell Data Types within the PADL-track
PEPM 2015Author of Object-sensitive Type Analysis of PHP within the PEPM 2015-track
Author of Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics within the PEPM 2015-track
Committee Member in Steering Committee within the PEPM 2015-track
Author of Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages within the PEPM 2015-track
Session Chair of Transformation / Slicing (part of PEPM 2015)
ECOOP 2015Author of Making Embedded Domain Specific Languages a Practical Reality within the Curry On-track