入門LiquidHaskell−篩型による静的コード解析− - Dodgson Labs - BOOTH(同人誌通販・ダウンロード)

静的解析ツール LiquidHaskell を解説した本邦初の入門書。 LiquidHaskell では、篩型(refinement