Update bib annotation

Author: ahubers

_bibliography/papers.bib

@@ -91,7 +91,7 @@ @inproceedings{AbreuBCDHJMS25
 	author = {Pedro Abreu and Sage Binder and Anthony Cantor Benjamin Delaware and Alex Hubers and Christa
                   Jenkins and J. Garrett Morris and Aaron Stump},
 	title = {A Type-Based Approach to Divide-and-Conquer Recursion},
-	booktitle = {Journal of Functional Programming},
+	booktitle = {Journal of Functional Programming, Volume 35, 2025},
 	year = 2025,
 	doi = {},
 	url = {},