Between 1998 and 2001, winners of first, second and third prizes have used Haskell and Erlang, both functional languages; Dylan, an object-oriented language; OCaml, an object-oriented and ...