8 citations · 11 across the 9 of their papers we have counts for
1 paper · 1 filter
Max S. New, Sam Lindley
This volume contains the proceedings of the Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020). The meeting was originally scheduled to take place in D…