The ideal would be something recent, with emphasis on the type systems and written in an ML-like language.