Mr Thomas Ekström Hansen

Associate Lecturer

Researcher profile

Email

teh6@st-andrews.ac.uk

 

Selected publications

• Open access

  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

 

See more publications