APA (7th ed.) Citation

Jia, S., Liu, C., He, S., Deng, H., Bao, Y., & Rompf, T. (2026). Typestate via Revocable Capabilities. Proceedings of the ACM on Programming Languages, 10(PLDI), 1915-1939. https://doi.org/10.1145/3808323

Chicago Style (17th ed.) Citation

Jia, Songlin, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, and Tiark Rompf. "Typestate via Revocable Capabilities." Proceedings of the ACM on Programming Languages 10, no. PLDI (2026): 1915-1939. https://doi.org/10.1145/3808323.

MLA (9th ed.) Citation

Jia, Songlin, et al. "Typestate via Revocable Capabilities." Proceedings of the ACM on Programming Languages, vol. 10, no. PLDI, 2026, pp. 1915-1939, https://doi.org/10.1145/3808323.