9 citations · 39 across the 19 of their papers we have counts for
1 paper · 1 filter
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…