Harley D Eades

View Scopus Profile

Harley D Eades

Associate Professor

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
View full fingerprint

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
Explore network further
  • 7 Conference contribution
  • 5 Article
  • 4 Conference article
  • 1 Editorial

  • 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 proceeding › Conference contribution

    Open Access
    2 Scopus citations

  • 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 proceeding › Conference 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 journal › Article › peer-review

    Open Access
    26 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 proceeding › Conference contribution

    Open Access
    14 Scopus citations

  • Unifying graded and parameterised monads

    Orchard, D., Wadler, P. & Eades, H., May 1 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 317, p. 18-38 21 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    5 Scopus citations
View all 17 Research outputs