27 citations · 53 across the 14 of their papers we have counts for
1 paper · 1 filter
Robert Atkey, Neelakantan Krishnaswami
The sixth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of The…