APA (7th ed.) Citation

ECONOMOU, D. J., KRISHNASWAMI, N., & DUNFIELD, J. (2023). Focusing on Refinement Typing. ACM Transactions on Programming Languages & Systems, 45(4), 1. https://doi.org/10.1145/3610408

Chicago Style (17th ed.) Citation

ECONOMOU, DIMITRIOS J., NEEL KRISHNASWAMI, and JANA DUNFIELD. "Focusing on Refinement Typing." ACM Transactions on Programming Languages & Systems 45, no. 4 (2023): 1. https://doi.org/10.1145/3610408.

MLA (9th ed.) Citation

ECONOMOU, DIMITRIOS J., et al. "Focusing on Refinement Typing." ACM Transactions on Programming Languages & Systems, vol. 45, no. 4, 2023, p. 1, https://doi.org/10.1145/3610408.