Sökt på: Böcker av Benjamin C. Pierce
totalt 12 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 …
Theoretical Aspects of Computer Software
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 …
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 …
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, …
Theoretical Aspects of Computer Software
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 …
Outside Looking In
The recent advent of gridlock and hyper-partisanship in the United States Congress has raised questions about whether similar divides are occurring in state governments, and if so, …
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 …
Texans on the Brink
What good is a rattlesnake? What purpose do animals serve? All species play a vital role in their biological communities, and the removal of just one can have a noticeable and …