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