Gestalt programming
Goguen algebra
Theoretical incl category based
Generic
Structural

Exploring language family "Category theory"

DSPL    1967 Category theory   United States   Display Systems Programming Language 
SYMBOL    1971 Category theory   United States   Hardware based data structure programming language