human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "Scrap your boilerplate with class: extensible generic functions"
  Abstract: The 'Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-specific cases. However, the original approach required all the type-specific cases to be supplied at once, when the recursive knot of generic function definition is tied. Hence, generic functions were  closed . In contrast, Haskell's type classes support  open , or extensible, functions that can be extended with new type-specific cases as new data types are defined. In this paper, we extend the 'Scrap your boilerplate' approach to support this open style. On the way, we demonstrate the desirability of abstraction over type classes, and the usefulness of recursive dictionarie.

Connected through hyperedge HE-1 (induced by source paper "Compiling polymorphism using intensional type analysis"):
  with members:
    - "Dynamic typing in a statically typed language"
    - "TIL: a type-directed optimizing compiler for ML"
    - "Type-preserving compilation of Featherweight Java"
    - "A type system for certified binaries"
    - "Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)"

Connected through hyperedge HE-2 (induced by source paper "Type Generic Observing"):
  with members:
    (none)

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science