LiquidHaskell
- 入門LiquidHaskell−篩型による静的コード解析−
- LiquidHaskell 入門 その1 - 存在と一意性の証明
- LiquidHaskell 入門 その2 - 存在と一意性の証明
- LiquidHaskell 入門 その3 - 存在と一意性の証明
- LiquidHaskell
- Announcing the refinement types library
- Program Synthesis from Polymorphic Refinement Types
- Programming with Refinement Types
- 24 days of Hackage, 2015: day 23: Liquid Haskell: refinement types for the real world
- Liquid Types For Haskell
- Compile-time memory safety using Liquid Haskell
- Program Synthesis from Refinement Types
- Refinement Types For Haskell
- https://github.com/Gabriel439/slides/blob/master/liquidhaskell/slides.md
- Liquid Types for Haskell
- Why do pattern synonyms not cause type refinement?
- Refinement Reflection: Haskell as a Theorem Prover
- csgordon/rghaskell
- Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)
- Liquid Haskell: Haskell as a Theorem Prover
- LiquidHaskell コトハジメ
- [1701.03320] An Introduction to Liquid Haskell
- languagengine - Blog - Proof Refinement Basics
- languagengine - Blog - Bidirectional Proof Refinement
- BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl - YouTube
- Liquid Haskell で普通の型システムの上を行け #NGK2017B
- [1711.03842] Refinement Reflection: Complete Verification with SMT
- LiquidHaskell
- LiquidHaskell
- Liquid Haskell Tutorial
- Liquid Haskell by Niki Vazou : haskell
- Well-Typed - The Haskell Consultants: Implementing a GHC Plugin for Liquid Haskell
- LiquidHaskell
- STORM
- [1806.03541] Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)