@InProceedings{, author = "Wouter Swierstra and Jason Hemann", title = "On the Correctness of {Barron} and {Strachey’s} Cartesian Product Function"", booktitle = "26th International Symposium on Trends in Functional Programming" year = 2025, editor = {Jeremy Gibbons}, volume = {15652}, series = {LNCS}, publisher = {Springer} }