Видео с ютуба Liquidhaskell

[Haskell24] Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl)

Gabriel Gonzalez - Scrap Your Bounds Checks with Liquid Haskell (HaskellX 2017 Keynote)

Семинар MuniHac 2020: Андрес Лёх — Liquid Haskell

(...) Как превратить (Liquid) Haskell в средство доказательства теорем — Ники Вазу (Lambda Days 2017)

Niki Vazou - LiquidHaskell: Theorem Proving for All (HaskellX 2018 Keynote)

[Haskell'22] How to Safely Use Extensionality in Liquid Haskell

MuniHac 2024 - So, Oct. 13 - Niki Vazou: Liquid Haskell: Verification with Refinement Types

Haskell 2014: LiquidHaskell: Refinement Types for the Real World, Eric L. Seidel

Understanding LiquidHaskell: Why it Fails to Account for Guards in Your Code

Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell

Liquidate Your Assets - Reasoning About Resource Usage in Liquid Haskell

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

Lambda World 2024 - Liquid Haskell: Verification with Refinement Types - Niki Vazou

LambdaConf 2015 - LiquidHaskell Refinement Types for Haskell Ranjit Jhala

Keynote: LiquidHaskell: Liquid Types for Haskell – Niki Vazou

[Haskell'22] Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell

Advent of Code 2022 in Liquid Haskell, day 10

Advent of Code 2022 in Liquid Haskell, Day 1

Advent of Code 2022 in Liquid Haskell, day 25

[Haskell'22] Liquid Proof Macros