Thomas Ekström Hansen

View Scopus Profile

Thomas Ekström Hansen

Mr

 https://orcid.org/0000-0002-2472-9694

  • School of Computer Science, North Haugh, St Andrews, Fife, KY16 9SS, UK

Fingerprint

Dive into the research topics where Thomas Ekström Hansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 1 Conference contribution

  • Type-level property based testing

    Hansen, T. E. & Brady, E. C., 28 Aug 2024, TyDe 2024: Proceedings of the 9th ACM SIGPLAN international workshop on type-driven development. Alves, S. & Cockx, J. (eds.). New York: ACM, p. 37 - 49

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

    Open Access
    File