Yue Niu (2)

Identifiers

• name variant Yue Niu (2) 0.60 · backfill

Papers (1)

1. Decalf: A Directed, Effectful Cost-Aware Logical Framework cs.PL · 2023 · author #2

Mentions

• 2307.05938 #2 · arxiv_oai · confidence 0.70 Yue Niu (2)

Frequent Coauthors

• (2) National Institute of Informatics 1 shared papers
• (3) University of Cambridge) 1 shared papers
• Harrison Grodin (1) 1 shared papers
• Jonathan Sterling (3) 1 shared papers
• Robert Harper (1) ((1) Carnegie Mellon University 1 shared papers