Demo: Liquid Types for Haskell
Niki Vazou
, Eric Seidel, and Ranjit Jhala
UC San Diego
Examples from LiquidHaskell
Online:
goto.ucsd.edu/liquidhaskell
Locally: `cabal install liquidhaskell`
Outline
Simple Refinements
Measures
Abstract Refinements
Laziness
Benchmarks
Outline
Simple Refinements
Measures
Abstract Refinements
Laziness
Benchmarks
Try liquidHaskell
Online:
goto.ucsd.edu/liquidhaskell
Locally: `cabal install liquidhaskell`
Thank You!