https://doi.org/10.1145/3678000.3678210 (DOI)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 Article at Scopus
    book article
Number of records 1, displaying 1 - 1