1 paper
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…