Qi Programming Language: Functional Programming, GNU GPL, Lisp, Pattern Matching, Type Checking

Standard ML: Module (Programming), Functional Programming Language, Compile Time Type Checking, Inference

XLISP: Object Oriented Programming, Lisp Programming Language, Scheme (Programming Language), Common

Pattern Matching: Computer Science, Recognition, Tree Structure, Regular Expression, Backtracking, Functional Programming Language