APA (7th ed.) Citation

Vazou, N., Breitner, J., Kunkel, R., Van Horn, D., & Hutton, G. (2018). Theorem proving for all: Equational reasoning in Liquid Haskell.

Chicago Style (17th ed.) Citation

Vazou, Niki, Joachim Breitner, Rose Kunkel, David Van Horn, and Graham Hutton. Theorem Proving for All: Equational Reasoning in Liquid Haskell. 2018.

MLA (9th ed.) Citation

Vazou, Niki, et al. Theorem Proving for All: Equational Reasoning in Liquid Haskell. 2018.