Search results

::* [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 Krouse

...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>

: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

...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 Proce

;[[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."

...06.pdf Probabilistic functional programming in Haskell] - Martin Erwig and Steve Kollmansberger. ...sive subtyping revealed] - Vladimir Gapeyev, Michael Y. Levin and Benjamin C. Pierce.

g :: a -> b -> c -> d x3 :: f c