Welcome to ListC.com is full of categories related to computer including links to artificial intelligence, bulletin board systems, computer science, system management, security, graphics, system management and much more.
Latest version of Caml dialect of strongly-typed functional language ML: object-oriented programming, flexible module system, fast native compilers for many systems. Descriptions, documents, resources, downloads. English, Fran?ais. [Open Source, INRIA]
http://www.ocaml.org/