1 paper
Colin Rothgang, Loïc Peyrot, Yannick Forster +2
Liquid Haskell is an extension of the Glasgow Haskell compiler (GHC) that adds support for refinement types: types restricted by logical predicates. Specifications are automaticall…