Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Henning Urbat
conf.researchr.org general profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
POPL 2023 profile
POPL 2025 profile
POPL 2026 profile
Not registered as user
Name:
Henning Urbat
Contributions
2026
POPL
Author of Higher-Order Behavioural Conformances via Fibrations within the POPL-track
Session Chair of Monads and Effects (part of POPL)
2025
ICFP
Session Chair of Semantics (part of ICFP Papers)
Author of Bialgebraic Reasoning on Stateful Languages within the ICFP Papers-track
POPL
Author of Abstract Operational Methods for Call-by-Push-Value within the POPL-track
2023
POPL
Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track
2019
FOSSACS
Author of Equational Axiomatization of Algebras wth Structure within the FOSSACS 2019-track
Share
x
Fri 6 Feb 20:30