Hu, J. Z. S., & Pientka, B. (2024). DeLaM: A Dependent Layered Modal Type Theory for Meta-programming.
Citazione stile Chigago Style (17a edizione)Hu, Jason Z. S., e Brigitte Pientka. DeLaM: A Dependent Layered Modal Type Theory for Meta-programming. 2024.
Citatione MLA (9a ed.)Hu, Jason Z. S., e Brigitte Pientka. DeLaM: A Dependent Layered Modal Type Theory for Meta-programming. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.