APA (7th ed.) Citation

Rowney, T., Ahuja, R., Avigad, J., & Welleck, S. (2026). DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs.

Chicago Style (17th ed.) Citation

Rowney, Tate, Riyaz Ahuja, Jeremy Avigad, and Sean Welleck. DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs. 2026.

MLA (9th ed.) Citation

Rowney, Tate, et al. DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs. 2026.