Basic Category Theory for Computer Scientists¶
Pierce, B. C. (1991). Basic Category Theory for Computer Scientists. MIT Press.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Category
- Programming-language theory. Types as objects and functions as arrows; functors as type-level mappings (as in Haskell or Scala); monads as a disciplined composition pattern over arrows that structures effects and sequencing.
This sourceDevelops types-as-objects, functions-as-arrows, functors, and monads as composition patterns over arrows in programming-language theory.
- Programming-language theory. Types as objects and functions as arrows; functors as type-level mappings (as in Haskell or Scala); monads as a disciplined composition pattern over arrows that structures effects and sequencing.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:db47e76fb391 · see in the full table