Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan van Brügge
conf.researchr.org general profile
ICFP 2024 profile
Not registered as user yet
Name:
Jan van Brügge
Affiliation:
Heriot-Watt University
Contributions
2024
Haskell
Author of Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl) within the Haskell 2024-track
Share
x
Wed 18 Sep 01:20