Johan Jeuring
Haskell Objective CAML XML applicative programming arithmetic coding functional programming functional programming tools haskell programming mobile programming program folding program specification programming reactive systems programming robot scheme programming