APA (7th ed.) Citation

Simonet, V., & Pottier, F. (2007). A Constraint-Based Approach to Guarded Algebraic Data Types. ACM Transactions on Programming Languages & Systems, 29(1), 1. https://doi.org/10.1145/1180475.1180476

Chicago Style (17th ed.) Citation

Simonet, Vincent, and François Pottier. "A Constraint-Based Approach to Guarded Algebraic Data Types." ACM Transactions on Programming Languages & Systems 29, no. 1 (2007): 1. https://doi.org/10.1145/1180475.1180476.

MLA (9th ed.) Citation

Simonet, Vincent, and François Pottier. "A Constraint-Based Approach to Guarded Algebraic Data Types." ACM Transactions on Programming Languages & Systems, vol. 29, no. 1, 2007, p. 1, https://doi.org/10.1145/1180475.1180476.