Cartesian Closed Category

Back

  1. http://conal.net/blog/posts/overloading-lambda
  2. http://conal.net/blog/posts/optimizing-cccs

  3. http://conal.net/blog/posts/haskell-to-hardware-via-cccs

  4. http://conal.net/blog/posts/circuits-as-a-bicartesian-closed-category

http://conal.net/talks/haskell-to-hardware.pdf https://www.cs.ox.ac.uk/jeremy.gibbons/publications/acmmpc-calcfp.pdf