@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}
}