Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Advanced Topics in Types and Programming Languages
E-bok,
2004,
Engelska,
ISBN 9780262281591
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 …
Basic Category Theory for Computer Scientists
E-bok,
1991,
Engelska,
ISBN 9780262288460
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
E-bok,
2002,
Engelska,
ISBN 9780262256810
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 …