Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=Pierce, Benjamin C.
cover
Advanced topics in types and programming languages
Comment Share
Pierce, Benjamin C.

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 of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…

Edition
-
ISBN/ISSN
9780262281591
Collation
1 online resource (xiii, 574 pages) :illustrations
Series Title
-
Call Number
-
cover
Basic category theory for computer scientists
Comment Share
Pierce, Benjamin C.

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of…

Edition
-
ISBN/ISSN
9780262288460
Collation
1 online resource (xiii, 100 pages).
Series Title
-
Call Number
-