Calculated based on number of publications stored in Pure and citations from Scopus
20122023

Research activity per year

Fingerprint

Dive into the research topics where Harley D Eades is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Combining Dependency, Grades, and Adjoint Logic

    Hanukaev, P. & Eades, H., Aug 30 2023, TyDe 2023 - Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, Co-located with ICFP 2023. Cong, Y. & Dagand, P-E. (eds.). Association for Computing Machinery, Inc, p. 58-70 13 p. (TyDe 2023 - Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, Co-located with ICFP 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Dependent Dependency Calculus

    Choudhury, P., Eades, H. & Weirich, S., 2022, Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sergey, I. (ed.). Springer Science and Business Media Deutschland GmbH, p. 403-430 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13240 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    4 Scopus citations
  • A graded dependent type system with a usage-aware semantics

    Choudhury, P., Eades, H., Eisenberg, R. A. & Weirich, S., Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 50.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    20 Scopus citations
  • Graded Modal Dependent Type Theory

    Moon, B., Eades, H. & Orchard, D., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 462-490 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    10 Scopus citations
  • Multiple conclusion linear logic: cut elimination and more

    Eades, H. & De Paiva, V., Jan 23 2020, In: Journal of Logic and Computation. 30, 1, p. 157-174 18 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations