human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "TypEr : a type annotator of Erlang code"):
  Abstract: We describe and document the techniques used in TOOL, a fully automatic type annotator for Erlang programs based on constraint-based type inference of  success typings  (a notion closely related to principal typings). The inferred typings are fine-grained and the type system currently includes subtyping and subtype polymorphism but not parametric polymorphism. In particular, we describe and illustrate through examples a type inference algorithm tailored to Erlang's characteristics which is modular, reasonably fast, and appears to scale well in practice.

Includes members:
  Member "Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "A practical soft type system for scheme")
  Member "Automatic Inference of Erlang Module Behaviour":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science