sorted by: recent | see :
popular
Content Tagged with ocaml + haskell
The Monad.Reader/Previous issues - HaskellWiki
Caml Trading: Experiences in Functional Programming on Wall Street
Yaron Minsky - a link to April 2007 issue of Monad.Reader with this article. Plenty of other interesting papers.
pattern matching - multiple dispatch - functors
SlideShow about Pattern Matching in SML, OCaml, Haskell, Common Lisp
Apache Thrift
Framework for cross-language services development. Combines a software stack with a code generation engine to build services that work efficiently and seamlessly between C++, Java, Python, PHP, Ruby, Erlang, Perl, Haskell, C#, Cocoa, Smalltalk, and OCaml.
Translations
Perspective that relates ways to interpret natural (Sound ← Syntax → Meaning) and programming (Form ← Expression → Meaning) langs. Representing an expression as a program that is parametrically polymorphic in types that are either form or meaning.
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
Page 1 | Next >>
