May 21, 2012
F#, Haskell, Standard ML, OCaml, and Lisp. A little Scala, Erlang, Scheme, and recently Clojure.
UWA CS lecturer teaching F# currently and Haskell previously, and researching languages and logic. I did my PhD on refinement types for Standard ML at CMU in Pittsburgh, PA, USA. My 1994 summer job in France helped put the "O" in OCaml.