Statistics
Publications
26
Citations
824
H-Index
20
Active since
2004
Daniel R. Licata is an author at Carnegie Mellon University specializing in computer science, type systems, and formal methods.
Publications per year
2004–2021
26
26
Mechanizing metatheory in a logical framework
Robert Harper, Daniel R. Licata · Journal of Functional Programming · 2007 · 105 citations · Full text
Eilenberg-MacLane spaces in homotopy type theory
Daniel R. Licata, Eric Finster · 2014 · 55 citations
Verifying interactive Web programs
Daniel R. Licata, Shriram Krishnamurthi · 2004 · 45 citations
1–5 of 26