APA (7th ed.) Citation

Porter, T. J., Kirisame, M., Wei, I., Panchekha, P., & Omar, C. (2025). Incremental Bidirectional Typing via Order Maintenance.

Chicago Style (17th ed.) Citation

Porter, Thomas J., Marisa Kirisame, Ivan Wei, Pavel Panchekha, and Cyrus Omar. Incremental Bidirectional Typing via Order Maintenance. 2025.

MLA (9th ed.) Citation

Porter, Thomas J., et al. Incremental Bidirectional Typing via Order Maintenance. 2025.