sorted by: recent | see :
popular
Content Tagged with functional + ocaml
Cryptol Home
Cryptol is a domain specific language for Cryptographic applications, currently developed by Galois Connections, Inc. This web-site contains a description of the language and detailed documentation on Cryptol.
Haskell: del.icio.us tag/haskell
Security
Programming
ocaml
haskell
functional
cryptography
crypto
Enfranchised Mind " A Monad Tutorial for Ocaml
I've decided to become a Haskell newbie and write myself a monad tutorial. This has a value, no matter how bad the monad tutorial<sep/>
Micah Elliott: A Single Command to Get Started on Functional Programming
Functional Programming is old. Ancient. Like right after FORTRAN. But it's the future. Trust me, I'm named after the dude who knew about Jesus 700 years early.
Michael Feathers' Blog: Are FP and OO Incompatible Syntactic Styles?
I've been looking at Scala, OCaml, and F# recently and I've really been struck by their different approaches toward mixing OO and FP.
Enfranchised Mind " How Ocaml Can Be Improved
Some of the ways OCaml could be improved, like removing the special cludges needed for printf, controlling mutable data, eliminating shift-reduce conflicts, better use of exceptions and introducing deforestation
Bit Stream Benchmarks
This is a website which describes benchmarks that each entail operations on bit streams. These benchmarks have all been implemented in Erlang, O'Caml and Haskell.
Otaku, Cedric's weblog: A programming language for 2010
Viele intelligente Kommentare zu modernen Programmiersprachen
Otaku, Cedric's weblog: A programming language for 2010
Viele intelligente Kommentare zu modernen Programmiersprachen
Page 1 | Next >>