[jamii]

Ocaml is simple, expressive and fast. While it suffers in terms of libaries and community support it makes a good systems language and is fantastic for expressing complex algorithms and data structures.

If that doesn't interest you, try some of these:

http://anil.recoil.org/papers/2010-hotcloud-lamp.pdf

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64....

http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/opis...

http://linkinghub.elsevier.com/retrieve/pii/S016764230600071...

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.156...