17 citations · 38 across the 6 of their papers we have counts for
1 paper · 1 filter
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…