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

  • 7 Conference contribution
  • 5 Article
  • 4 Conference article
  • 1 Editorial
Filter
Conference contribution

Search results

  • 2023

    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
  • 2022

    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
  • 2021

    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
    10 Scopus citations
  • 2019

    On linear logic, functional programming, and attack trees

    Eades, H., Jiang, J. & Bryant, A., 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Cybenko, G. & Fila, B. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations
  • 2018

    Dialectica categories for the lambek calculus

    de Paiva, V. & Eades, H., 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 256-272 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations
  • 2016

    Multiple conclusion linear logic: Cut elimination and more

    Eades, H. & de Paiva, V., 2016, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9537).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2012

    Equational reasoning about programs with general recursion and call-by-value semantics

    Kimmell, G., Stump, A., Eades, H. D., Fu, P., Sheard, T., Weirich, S., Casinghino, C., Sjöberg, V., Collins, N. & Ahn, K. Y., 2012, POPL: PLPV'12 - Proceedings of the 6th Workshop on Programming Languages Meets Program Verification. p. 15-25 11 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    14 Scopus citations