Search results
Jump to navigation
Jump to search
- ::* [http://conal.net/blog/posts/the-c-language-is-purely-functional The C language is purely functional] ...l#my-growing-anti-io-monad-obsession My growing Anti-IO-Monad Obsession] - Steve Krouse4 KB (506 words) - 06:17, 20 April 2024
- ...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
- :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: Prac9 KB (1,361 words) - 06:20, 12 June 2023
- ...Jeremy Gibbons, and Geraint Jones. In J. W. Davies, A. W. Roscoe, and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science. Palgrave ...: Mathematics of Program Construction, ed. R. S. Bird, C. C. Morgan and J. C. P. Woodcock, Springer-Verlag, p. 122-138. Revised version appears in Proce14 KB (1,953 words) - 00:54, 5 June 2022
- ;[[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,662 words) - 08:38, 20 April 2024
- ...06.pdf Probabilistic functional programming in Haskell] - Martin Erwig and Steve Kollmansberger. ...sive subtyping revealed] - Vladimir Gapeyev, Michael Y. Levin and Benjamin C. Pierce.20 KB (2,961 words) - 16:50, 6 February 2024
- g :: a -> b -> c -> d x3 :: f c179 KB (29,519 words) - 16:10, 30 December 2022