Robert A. Uhl

Caml appears to be an interesting programming language. Programs written therein are supposed to be strictly verified for a whole slew of potential bugs — and thus they are apparently much more reliable than those written in other languages. That’s the theory, anyway.