Daniel R. Licata

Identifiers

• name variant Daniel R. Licata 0.60 · backfill

Papers (3)

1. Gradual Type Theory (Extended Version) cs.PL · 2018 · author #2
2. Denotational cost semantics for functional languages with inductive types cs.PL · 2015 · author #2
3. Calculating the Fundamental Group of the Circle in Homotopy Type Theory math.LO · 2013 · author #1

Mentions

• 1506.01949 #2 · backfill · confidence 0.70 Daniel R. Licata
• 1301.3443 #1 · backfill · confidence 0.70 Daniel R. Licata

Frequent Coauthors

• Amal Ahmed 1 shared papers
• Max S. New 1 shared papers
• Michael Shulman 1 shared papers
• Norman Danner 1 shared papers
• Ramyaa Ramyaa 1 shared papers