Lobsters
- Liquid Types vs. Floyd-Hoare Logic https://ucsd-progsys.github.io/liquidhaskell-blog/2019/10/20/why-types.lhs/ 3 comments compsci , plt
- LiquidHaskell is a GHC Plugin https://ucsd-progsys.github.io/liquidhaskell-blog/2020/08/20/lh-as-a-ghc-plugin.lhs/ 23 comments haskell
- LiquidHaskell refines Haskell's types with logical predicates that let you enforce critical properties at compile time https://ucsd-progsys.github.io/liquidhaskell-blog/ 18 comments programming
- Dependent types in constructors? e.g. "Data X = Y | Z Y" http://ucsd-progsys.github.io/lh-workshop/ 15 comments haskell
- More on proving things about interval sets using Liquid Haskell https://ucsd-progsys.github.io/liquidhaskell-blog/2017/12/24/splitting-and-splicing-intervals-ii.lhs/ 7 comments haskell
- Arithmetic Overflows and LiquidHaskell https://ucsd-progsys.github.io/liquidhaskell-blog/2017/03/20/arithmetic-overflows.lhs/ 28 comments haskell
- Liquid Haskell has a fancy new homepage! https://ucsd-progsys.github.io/liquidhaskell-blog/ 41 comments haskell
- Programming with Refinement Types http://ucsd-progsys.github.io/liquidhaskell-tutorial/ 19 comments haskell