Simcha van Collem -

Registered user since Wed 26 Jun 2024

Name:Simcha van Collem

Affiliation:Radboud University Nijmegen

Contributions

2026

SPLASH

Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

PLDI

Author of Backwards-Compatible Row-Based Exceptions in ML within the PLDI Research Papers-track

POPL

Author of A Relational Separation Logic for Effect Handlers within the POPL-track

2024

PLNL

Author of Formalizing Algebraic Effects using Domain Theory within the PLNL 2024-track