[B! LiquidHaskell] thimuraのブックマーク

Programming with Refinement Types

Programming with Refinement Types An Introduction to LiquidHaskell Ranjit Jhala, Eric Seidel, Niki Vazou [PDF] 1.Introduction {#intro} 1.1. Well-Typed Programs Do Go Wrong {#gowrong} 1.2. Refinement Types 1.3. Audience 1.4. Getting Started 2.Logic & SMT 2.1. Syntax 2.2. Semantics {#semantics} 2.3. Verification Conditions 2.4. Examples: Propositions 2.5. Examples: Arithmetic 2.6. Examples: Uninterp

thimura 2016/12/25

リンク

LiquidHaskell コトハジメ - チェシャ猫の消滅定理

このエントリは Haskell Advent Calendar 2016 およびFormal Method Advent Calendar 2016 の23日目の投稿です。のはずでしたがすでに日付が変わりました。謹んでお詫び申し上げます。ちなみに22日目の担当者はそれぞれ Haskell Advent Calendar 2016 : heredocsの紹介 - Qiita Formal Method Advent Calendar 2016 : 農夫山羊キャベツ狼 - Qiitaです。偶然ですが同じ方が執筆担当ですね。さて、本エントリでは Haskell の型の表現力をより豊かにする仕組み、 LiquidHaskell について概要を紹介します。使用するサンプルコードは Samples of Verification by LiquidHaskell · GitHub

thimura 2016/12/25

リンク

Programming with Refinement Types

Programming with Refinement Types An Introduction to LiquidHaskell Ranjit Jhala, Eric Seidel, Niki Vazou [PDF] 1.LiquidHaskell: Verification of Haskell with SMTs 1.1. Well-Typed Programs Can Go Wrong 1.2. The Heartbleed Bug. 1.3. The Heartbleed Bug in Haskell 1.4. True is a bad argument 1.5. But, 10 is a good argument 1.6. Partial Functions 1.7. Functional Correctness 1.8. Goal: Extend Type System

thimura 2016/09/23

リンク

はてなブックマーク

タグ

関連タグで絞り込む (3)

LiquidHaskellに関するthimuraのブックマーク (3)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第3週）

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス