• 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
  • 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 proceedingConference contribution

    Open Access
    File