Hu, J. Z. S., & Pientka, B. (2025). A Dependent Type Theory for Meta-programming with Intensional Analysis. Proceedings of ACM on programming languages, 9(POPL), 416-445. https://doi.org/10.1145/3704851
Citácia podle Chicago (17th ed.)Hu, Jason Z. S., a Brigitte Pientka. "A Dependent Type Theory for Meta-programming with Intensional Analysis." Proceedings of ACM on Programming Languages 9, no. POPL (2025): 416-445. https://doi.org/10.1145/3704851.
Citácia podľa MLA (8th ed.)Hu, Jason Z. S., a Brigitte Pientka. "A Dependent Type Theory for Meta-programming with Intensional Analysis." Proceedings of ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 416-445, https://doi.org/10.1145/3704851.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..