69 citations · 106 across the 6 of their papers we have counts for
1 paper · 1 filter
James Chapman, Paul Blain Levy
This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as…