Session Types
Session Types 英語表記: Session Types 概要 セッション型は、並行処理や分散システムにおけるプロセス間の通信手順（プロトコル）を「振る舞いの型」として定義し、そのプロトコルが正しく守られている […]
型による検証
このカテゴリの用語
Liquid Types
Liquid Types 英語表記: Liquid Types 概要 Liquid Types（リキッド型）は、既存のデータ型（整数やリストなど）に対し、さらに詳細な論理的な制約（述語）を付加することで、プログラムの安全 […]
Refinement Types
Refinement Types 英語表記: Refinement Types 概要 リファインメント型（Refinement Types）は、既存の型に論理的な述語（Predicate）を付加することで、型の持つ制約を […]