Concept

Type system

Modified just now

Books

Journey Statuslearning

A tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.