The ACM Computing Classification System (1998) F.3.3 Studies of Program Constructs Control primitives Functional constructs Object-oriented constructs Program and recursion schemes Type structure