Search
 
loader loading subjects...
cover
Principles and Applications of Refinement Types
Andrew D. Gordon, Cédric Fournet
73 - 104
10.3233/978-1-60750-100-8-73
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 25: Logics and Languages for Reliability and Security
Abstract

A refinement type {x : T | C} is the subset of the type T consisting of the values x to satisfy the formula C. In this tutorial article we explain the principles of refinement types by developing from first principles a concurrent λ-calculus whose type system supports refinement types. Moreover, we describe a series of applications of our refined type theory and of related systems.

$35.00 / €27.50 / £22.00
Add PDF to cart