Computer programming
Software engineering
Computing
Lisp
Functional languages
Subroutines
Programming languages
Data types
Functional programming
Defun
ACL2
Cons