Benjamin Pierce
- Auteur
Boeken van Benjamin Pierce
Benjamin Pierce
Types & Programming Languages
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute.
Meer