Filter
Sökt på: Sökresultat
Filter
totalt 5 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 9780262326452
Theoretical Aspects of Computer Software
E-bok,
2003,
Engelska,
ISBN 9783540455004
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in …
Types and Programming Languages
E-bok,
2002,
Engelska,
ISBN 9780262303828
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 …