Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Henning Urbat
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2026 profile
ICFP/SPLASH 2025 profile
PLDI 2026 profile
POPL 2023 profile
POPL 2025 profile
POPL 2026 profile
Not registered as user
Name:
Henning Urbat
Contributions
2026
ICFP
Author of Towards a Higher-Order Bialgebraic Denotational Semantics within the ICFP Papers-track
PLDI
Author of Intrinsically Correct Algorithms and Recursive Coalgebras within the PLDI Research Papers-track
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
Thu 8 Oct 12:24