APA (7th ed.) Citation

Barthe, G., Hatcliff, J., & Thiemann, P. (1998). Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report). Electronic notes in theoretical computer science, 10, 54-120. https://doi.org/10.1016/S1571-0661(05)80691-7

Chicago Style (17th ed.) Citation

Barthe, Gilles, John Hatcliff, and Peter Thiemann. "Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)." Electronic Notes in Theoretical Computer Science 10 (1998): 54-120. https://doi.org/10.1016/S1571-0661(05)80691-7.

MLA (9th ed.) Citation

Barthe, Gilles, et al. "Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)." Electronic Notes in Theoretical Computer Science, vol. 10, 1998, pp. 54-120, https://doi.org/10.1016/S1571-0661(05)80691-7.