137 citations · 197 across the 8 of their papers we have counts for
1 paper · 1 filter
Jeremy Gibbons, Max S. New
This volume contains the proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022). The meeting took place on the 2nd of April as a satellit…