0:00 / 0:00
#liquidhaskell#refinementtypes#haskell
Ranjit Jhala - Liquid Haskell
Boston Haskell
1.1K subscribers • 18 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Ranjit Jhala
Advanced. Deep dive for people who know the field.
5.2K views11 years ago1 recommendation
Programming languagesComputer scienceHaskellFormal methods and verificationComputation and complexity
Ranjit Jhala introduces Liquid Haskell, explaining how refinement types can be used to verify program properties at compile time.
Ranjit's talk on Liquid Haskell, for the Boston Haskell meetup group, November 19 2014