APA Citation

Pradic, C., & Benedikt, M. (2021). Generating collection transformations from proofs. Proceedings of the ACM on Programming Languages, 5(POPL), pp. 1-28. doi:10.1145/3434295

Chicago Style Citation

Pradic, Cécilia, and Michael Benedikt. "Generating Collection Transformations From Proofs." Proceedings of the ACM On Programming Languages 5, no. POPL (2021): 1-28.

MLA Citation

Pradic, Cécilia, and Michael Benedikt. "Generating Collection Transformations From Proofs." Proceedings of the ACM On Programming Languages 5.POPL (2021): 1-28.

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