Mark Jones

A prominent researcher in functional programming, particularly known for his contributions to Haskell's type system and innovative applications of functional principles.