Tom Schrijvers -

Not registered as user yet

Name: Tom Schrijvers

Affiliation: KU Leuven

Personal website: http://people.cs.kuleuven.be/~tom.schrijvers

Contributions

Haskell 2019	Author of Monad Transformers and Modular Algebraic Effects: What Binds Them Together within the Haskell 2019-track Author of Bidirectional Type Class Instances within the Haskell 2019-track
PADL 2019	Author of Faster Coroutine Pipelines: A Reconstruction within the PADL 2019-track
ESOP 2019	Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track
ETAPS 2019	Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track
ICFP 2019	Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track Author of Coherence of Type Class Resolution within the Research Papers-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track
Haskell 2017	Author of Elaboration on Functional Dependencies within the Haskell 2017-track Author of Quantified Class Constraints within the Haskell 2017-track
PPS 2017	Author of ProbLog and applicative probabilistic programming within the PPS-track
TyDe 2016	Committee Member in Program Committee within the TyDe-track
ECOOP 2018	Author of The Essence of Nested Composition within the ECOOP Research Papers-track
ECOOP and ISSTA	Author of The Essence of Nested Composition within the Posters-track
ICFP 2016	Committee Member in Program Committee within the Research Papers-track Session Chair of Session 4 (part of Research Papers)
PADL	Committee Member in Program Committee within the PADL-track
POPL 2016	Author of From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes within the Research Papers-track