• Sign in
  • Sign up
conf.researchr.org / Jiří Beneš
  • ICFP 2026 profile
  • ICFP/SPLASH 2025 profile
  • ‹Programming› 2025 profile
  • ‹Programming› 2027 profile

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

2027

‹Programming›

  • Committee Member in Program Committee

2026

HOPE

  • Author of Teaching Effect Handlers in the Wild within the HOPE 2026-track

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

  • Committee Member in Organizing Committee within the Effekt: Lexical Effect Handlers In Action-track
  • Contributor/Author of Effekt: Lexical Effect Handlers in Action within the Effekt: Lexical Effect Handlers In Action-track
Share
xThu 15 Oct 15:43
using conf.researchr.org (v1.76.1)
Support page
Sign Up