Harrison Grodin (1)
Identifiers
- name variant Harrison Grodin (1) 0.60 · backfill
Papers (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