Category theory

Theoretical incl category based
Generic
Structural

Exploring language family "Goguen algebra"

OPAL    1993 Goguen algebra   Germany   Algebraic functional language 
OPAL-0    1993 Goguen algebra   Germany   Algebraic functional language 
OPAL-1    1993 Goguen algebra   Germany   Algebraic functional language