59 citations · 92 across the 9 of their papers we have counts for
1 paper · 2 filters
Paul Levy, Neel Krishnaswami
This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a…