Zainab Ali - Recursion Schemes from First Principles
This is about a paper published in 1991: Functional programming with bananas, lenses, envelopes and barbed wire by Erik Meijer, Maarten Fokkinga & Ross Paterson. Other references to articles and papers by Milewski , Wadler and Gibbons at 32:48 . I also came across this paper by Wadler: The Girard-Reynolds Isomorphism . I wish I had known about this, it would have saved me several years of work! Mike Gordon presumably didn't know about it either: see Emily Riehl and Terrence Tau on The Future of Mathematics . Subscribe to Lambda World .