Jan van Brügge

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Information Systems

Computational Complexity

Top Venues

Publications

Jan van Brügge
Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl). CoRR (2024)
Jan van Brügge
Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl). Haskell (2024)