DenkzeitWiki

OCaml

• http://caml.inria.fr/
  
• http://en.wikipedia.org/wiki/OCaml
• http://de.wikipedia.org/wiki/Objective_CAML
  
  
• http://www.metaocaml.org/

Tutorials

• http://www.ocaml-tutorial.org/

Books

• http://caml.inria.fr/pub/docs/oreilly-book/ --online, pdf
  
• Practical OCaml by Joshua B. Smith

Haskell vs OCaml

• Haskell vs. OCaml--which do you prefer?
• Ask Reddit: Erlang, Haskell, OCaml; which functional language and why?

• Concoqtion
  • Concoqtion is an extension to MetaOCaml with indexed types. Indexed types are a powerful tool that allows the programmer to express nested polymorphism as well as complex functional dependencies at the level of types.
  • via [1]