Programming Language Theory Concept
Type system
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.
A tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.