1. david turnerprofessor david a turner. one of the pioneers of functional languages he designed several languages, including, sasl (1976), krc (1981), and miranda, many of which were implemented using combinators and the s-k reduction machine which he defined