Kopinsky, M., Pientka, B., & Si, X. (Aug 16, 2024). Modernizing SMT-Based Type Error Localization. arXiv.org.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoru Kātū Chicago (17th ed.)
Kopinsky, Max, Brigitte Pientka, me Xujie Si. "Modernizing SMT-Based Type Error Localization."
ArXiv.org Aug 16, 2024.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoro MLA (9th ed.)
Kopinsky, Max, et al. "Modernizing SMT-Based Type Error Localization."
ArXiv.org, Aug 16, 2024.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.