Church typed-lambda calculus Influence
FLPL Influence
GPS Influence
IPL Influence
V2 Evolution of

A list processing system with emphasis on recursion and formalism

Advice Taker 0 Written using
1
SQA 0 Extension of
1