Functional languages
Lisp programming language
Alan Turing
Association for Computing Machinery
Turing Award
Interlisp
ACL2
Xerox Alto
Sketchpad
Computing
Software engineering
Turing Award laureates