Prather, R.E. "Proposal for a Categorical Programming Language"

[SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(04) April 1990  

Languages mentioned CAT {1990}