Sökresultat för: Benjamin C. Pierce
Types and Programming Languages (Inbunden)
avBenjamin C. Pierce
ISBN: 9780262162098 - UTGIVEN: 200202A 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 programming languages from a type-theoretic perspective -- -has important applicat[...]
Basic Category Theory For Computer Scientists (Pocket)
avBenjamin C. Pierce
ISBN: 9780262660716 - UTGIVEN: 1991-09-30Category 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 prep[...]
