Sökt på: Sökresultat
totalt 5 träffar
Advanced Topics in Types and Programming Languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas …
Types and Programming Languages
A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by …
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, …
Types and Programming Languages
A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by …