LiquidHaskell: Refinement Types via SMT and Predicate Abstraction | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction | Heykuki News

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

22 points

12 years ago

3 comments

Threaded

Loading comments...