Term search in Rust
Annus, Tavo
;
Joram, Philipp
TyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
2024
/
p. 62-73
https://doi.org/10.1145/3678000.3678210
https://www.scopus.com/record/display.uri?eid=2-s2.0-85203878790&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Term+search+in+Rust%22%29&sessionSearchId=d0a48f21c186f89247af4c110e9b48a1&relpos=1