morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Work out a bibliography trail of Origami programming by Bird/Merteens/Gibbons et. al.

Open prathyvsh opened this issue 4 years ago • 1 comments

Possible starting point: https://archive.alvb.in/msc/11_infomtpt/papers/origami-programming_Gibbons.pdf

prathyvsh avatar Sep 15 '20 14:09 prathyvsh

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991): http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.125 Erik Meijer, Maarten Fokkinga, Ross Paterson

prathyvsh avatar Sep 15 '20 17:09 prathyvsh