Date made available2024
PublisherGitHub
  • 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

Cite this