Daniel R. Licata

969 total citations
36 papers, 425 citations indexed

About

Daniel R. Licata is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Daniel R. Licata has authored 36 papers receiving a total of 425 indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 11 papers in Information Systems. Recurrent topics in Daniel R. Licata's work include Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (15 papers). Daniel R. Licata is often cited by papers focused on Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (15 papers) and Formal Methods in Verification (15 papers). Daniel R. Licata collaborates with scholars based in United States, France and Sweden. Daniel R. Licata's co-authors include Robert Harper, Shriram Krishnamurthi, Michael Shulman, Jamie Morgenstern, Noam Zeilberger, Amal Ahmed, Thierry Coquand, Peter LeFanu Lumsdaine and Karl Crary and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGPLAN Notices and Journal of Functional Programming.

In The Last Decade

Daniel R. Licata

32 papers receiving 410 citations

Peers

Daniel R. Licata
Roger Villemaire Canada
Tarmo Uustalu Estonia
Thorsten Altenkirch United Kingdom
Elizabeth Scott United Kingdom
Peter Dybjer Sweden
Kevin J. Compton United States
C. Barry Jay Australia
Marcelo Fiore United Kingdom
Alexandra Silva Netherlands
Paliath Narendran United States
Roger Villemaire Canada
Daniel R. Licata
Citations per year, relative to Daniel R. Licata Daniel R. Licata (= 1×) peers Roger Villemaire

Countries citing papers authored by Daniel R. Licata

Since Specialization
Citations

This map shows the geographic impact of Daniel R. Licata's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Daniel R. Licata with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Daniel R. Licata more than expected).

Fields of papers citing papers by Daniel R. Licata

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Daniel R. Licata. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Daniel R. Licata. The network helps show where Daniel R. Licata may publish in the future.

Co-authorship network of co-authors of Daniel R. Licata

This figure shows the co-authorship network connecting the top 25 collaborators of Daniel R. Licata. A scholar is included among the top collaborators of Daniel R. Licata based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Daniel R. Licata. Daniel R. Licata is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Licata, Daniel R., et al.. (2023). Gradual Typing for Effect Handlers. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 1758–1786. 2 indexed citations
2.
Licata, Daniel R., et al.. (2022). Denotational semantics as a foundation for cost recurrence extraction for functional languages. Journal of Functional Programming. 32.
3.
Licata, Daniel R., et al.. (2021). Gradual type theory. Journal of Functional Programming. 31. 2 indexed citations
4.
Coquand, Thierry, et al.. (2021). Syntax and models of Cartesian cubical type theory. Mathematical Structures in Computer Science. 31(4). 424–468. 9 indexed citations
5.
Licata, Daniel R., et al.. (2020). Call-by-name Gradual Type Theory. SHILAP Revista de lepidopterología. 2 indexed citations
6.
Licata, Daniel R., et al.. (2019). Gradual type theory. Proceedings of the ACM on Programming Languages. 3(POPL). 1–31. 13 indexed citations
7.
Licata, Daniel R., et al.. (2018). Call-by-Name Gradual Type Theory. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3 indexed citations
8.
Licata, Daniel R. & Robert Harper. (2018). A Formulation of Dependent ML with Explicit Equality Proofs. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University). 3 indexed citations
9.
Licata, Daniel R., et al.. (2018). The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University).
10.
Licata, Daniel R. & Robert Harper. (2018). An Extensible Theory of Indexed Types. Figshare.
11.
Licata, Daniel R. & Robert Harper. (2018). 2-Dimensional Directed Dependent Type Theory. Figshare.
12.
Licata, Daniel R., et al.. (2015). Denotational cost semantics for functional languages with inductive types. 140–151. 30 indexed citations
13.
Licata, Daniel R. & Michael Shulman. (2013). Calculating the Fundamental Group of the Circle in Homotopy Type Theory. 223–232. 27 indexed citations
14.
Licata, Daniel R. & Robert Harper. (2012). Canonicity for 2-dimensional type theory. 337–348. 19 indexed citations
15.
Licata, Daniel R. & Robert Harper. (2010). A Monadic Formalization of ML5. SHILAP Revista de lepidopterología. 34. 69–83. 4 indexed citations
16.
Morgenstern, Jamie & Daniel R. Licata. (2010). Security-typed programming within dependently typed programming. 169–180. 23 indexed citations
17.
Licata, Daniel R. & Robert Harper. (2009). A universe of binding and computation. ACM SIGPLAN Notices. 44(9). 123–134. 4 indexed citations
18.
Harper, Robert & Daniel R. Licata. (2007). Mechanizing metatheory in a logical framework. Journal of Functional Programming. 17(4-5). 613–673. 53 indexed citations
19.
Licata, Daniel R. & Shriram Krishnamurthi. (2004). Verifying interactive web programs. 164–173. 4 indexed citations
20.
Licata, Daniel R., et al.. (2004). The feature signatures of evolving programs. 281–285. 20 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Roger Villemaire Breakdown of academic impact, for papers by Tarmo Uustalu Breakdown of academic impact, for papers by Thorsten Altenkirch Breakdown of academic impact, for papers by Elizabeth Scott Breakdown of academic impact, for papers by Peter Dybjer Breakdown of academic impact, for papers by Kevin J. Compton Breakdown of academic impact, for papers by C. Barry Jay Breakdown of academic impact, for papers by Marcelo Fiore Breakdown of academic impact, for papers by Alexandra Silva Breakdown of academic impact, for papers by Paliath Narendran
Rankless by CCL
2026