28 citations · 82 across the 19 of their papers we have counts for
1 paper · 1 filter
Robert Atkey, Sam Lindley
The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of T…