Page Information

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Current Topic: Liquid Haskell

On March 17 24 we will discuss a paper from Haskell 14 that gives an overview of continue discussing LiquidHaskell a system based on refinements of Haskell's types with logical predicates that let lets you enforce critical properties at compile time. Our focus will be on some longer case studies from the LiquidHaskell tutorial book, particularly Chapter 5 on Refined Data Types and the following chapters on measures.

Previous topics

PL Reading Group Archive