human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "total haskell is reasonable coq"
  Abstract: We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named  hs-to-coq , that translates total Haskell programs into Coq programs via a shallow embedding. We apply our tool in three case studies – a lawful  Monad  instance, “Hutton’s razor”, and an existing data structure library – and prove their correctness. These examples show that this approach is viable: both that  hs-to-coq  applies to existing Haskell code, and that the output it produces is amenable to verification.

Connected through hyperedge HE-1 (induced by source paper "concert a smart contract certification framework in coq"):
  with members:
    - "mi cho coq a framework for certifying tezos smart contracts"
    - "a certifying extraction with time bounds from coq to call by value lambda calculus"
    - "scilla a smart contract intermediate level language"
    - "revisiting parametricity inductives and uniformity of propositions"
    - "simplicity a new language for blockchains"
    - "a concurrent perspective on smart contracts"

Connected through hyperedge HE-2 (induced by source paper "embracing a mechanized formalization gap"):
  with members:
    - "from c to interaction trees specifying verifying and testing a networked server"
    - "a promise checked is a promise kept inspection testing"
    - "a formally verified compiler back end"

Connected through hyperedge HE-3 (induced by source paper "towards a smart contract verification framework in coq"):
  with members:
    - "simplicity a new language for blockchains"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.PL(Programming Languages)