Software engineering
Type theory
Computing
Computer programming
Data types
Recursion
Polymorphism
Recursive data type
Eval
Type inference
Type system
ECL programming language