Benjamin C. Pierce – författare
Visar alla böcker från författaren Benjamin C. Pierce. Handla med fri frakt och snabb leverans.
4 produkter
Types and Programming Languages
Inbunden, 2002
1131 kr
Lägg i varukorg
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 classifying program phrases according to the kinds of values they compute. The study of type systems—and of …
Basic Category Theory for Computer Scientists
Häftad, 1991
488 kr
Lägg i varukorg
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Category theory is a branch of pure mathematics that …
Theoretical Aspects of Computer Software
4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
Av Naoki Kobayashi, Benjamin C. Pierce
Häftad, 2001
568 kr
Lägg i varukorg
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 October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this …
