APA (7th ed.) Citation

Domoratskiy, E., & Boulytchev, D. (2024). A Relational Solver for Constraint-based Type Inference.

Chicago Style (17th ed.) Citation

Domoratskiy, Eridan, and Dmitry Boulytchev. A Relational Solver for Constraint-based Type Inference. 2024.

MLA (9th ed.) Citation

Domoratskiy, Eridan, and Dmitry Boulytchev. A Relational Solver for Constraint-based Type Inference. 2024.

Warning: These citations may not always be 100% accurate.