(2) National Institute of Informatics

Identifiers

• name variant (2) National Institute of Informatics 0.60 · backfill

Papers (1)

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

Mentions

• 2307.05938 #5 · arxiv_oai · confidence 0.70 (2) National Institute of Informatics

Frequent Coauthors

• (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
• Yue Niu (2) 1 shared papers