Jiří Beneš -

Registered user since Fri 12 Aug 2022

Name:Jiří Beneš

Bio:

Mastodon: https://types.pl/@jiribenes

Affiliation:University of Tübingen

Personal website: https://jiribenes.com

X (Twitter): https://x.com/jiribenes_

GitHub: https://github.com/jiribenes

Contributions

2025

SPLASH

Author of The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with flow-based variational type-checking within the OOPSLA-track

‹Programming›

Committee Member of Effekt: Lexical Effect Handlers in Action within the Workshops-track

Effekt