Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Hetzenberger
conf.researchr.org general profile
ICFP 2026 profile
Registered user since Tue 4 Aug 2026
Name:
Matthias Hetzenberger
Affiliation:
TU Wien
Contributions
2026
Haskell
Author of A Cost-Aware Probability Monad for Liquid Haskell within the Haskell 2026-track
Share
x
Wed 16 Sep 21:12