Harrison Grodin (1)

Identifiers

• name variant Harrison Grodin (1) 0.60 · backfill

Papers (1)

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

Mentions

• 2307.05938 #1 · arxiv_oai · confidence 0.70 Harrison Grodin (1)

Frequent Coauthors

• (2) National Institute of Informatics 1 shared papers
• (3) University of Cambridge) 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