H ? « ‹ ← → › »

Language peer sets for CAT:
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

CAT(ID:7621/)

alternate simple view
Country: United States
Designed 1990
Related languages
CAT → M2001   Incorporated some features of
References:
  • Prather, R.E. (1990) Prather, R.E. "Proposal for a Categorical Programming Language" DOI Extract: Introduction
          in [SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(04) April 1990
  • (1991) Prather, R.E., A Categorical Expression Language, submitted to Mathematical Structures in Computer Science, 1991
          in [SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(04) April 1990
  • Myers, J. Paul Jr. and Prather, Ronald E. (1992) Myers, J. Paul Jr. and Prather, Ronald E. "The Type Structure of CAT" Constructivity in Computer Science, Summer Symposium 1992 pp218 - 227 Springer-Verlag London,
          in [SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(04) April 1990
  • Prather, Ronald E. (1992) Prather, Ronald E. "The semantics of CAT" pp54-63 DOI Extract: Introduction
          in [SIGPLAN] (1992) SIGPLAN Notices 27(06) June 1992
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder