APA (7th ed.) Citation

Bianchini, R., Dagnino, F., Giannini, P., & Zucca, E. (2023). A Java-like calculus with heterogeneous coeffects. Theoretical computer science, 971, 114063. https://doi.org/10.1016/j.tcs.2023.114063

Chicago Style (17th ed.) Citation

Bianchini, Riccardo, Francesco Dagnino, Paola Giannini, and Elena Zucca. "A Java-like Calculus with Heterogeneous Coeffects." Theoretical Computer Science 971 (2023): 114063. https://doi.org/10.1016/j.tcs.2023.114063.

MLA (9th ed.) Citation

Bianchini, Riccardo, et al. "A Java-like Calculus with Heterogeneous Coeffects." Theoretical Computer Science, vol. 971, 2023, p. 114063, https://doi.org/10.1016/j.tcs.2023.114063.