Search results

Jump to: navigation, search
  • :Peng Li and Steve Zdancewic, April 2006. :Loidl H-W. Trinder P.W. Hall C.V. Hammond K. Junaidu S.B. Morgan R.G. Peyton Jones S.L. Concurrency: Prac
    9 KB (1,320 words) - 05:15, 10 January 2017
  • :Martin Erwig and Steve Kollmansberger. 2006. :Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. 2000.
    18 KB (2,462 words) - 21:15, 6 April 2021
  • ;[[Haskell Tutorial for C Programmers]] ...rial was written to help students overcome the difficulty of moving from C/C++, Java, and the like to Haskell."
    31 KB (4,670 words) - 03:53, 5 January 2021
  • g :: a -> b -> c -> d x3 :: f c
    179 KB (29,507 words) - 09:34, 10 December 2020
  • ...iven a base category <math>C</math>, we have the monoidal category <math>C^C</math>: * Objects are endofunctors <math>F : C \to C</math>
    13 KB (2,245 words) - 15:18, 6 February 2021