8 citations · 11 across the 9 of their papers we have counts for
1 paper · 2 filters
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…