The ACM Computing Classification System (1991)

F.3.3 Studies of Program Constructs

  • Control primitives
  • Functional constructs
  • Program and recursion schemes
  • Type structure