Description
Simple implementation of the generic spine view.
Description
This package contains the basic representation types for defining generic functions with the spine view. It is currently incomplete with respect to the papers. We hope to rectify that in the future.
See the following publications for details.
R. Hinze and A. Löh. "Scrap Your Boilerplate: Reloaded" In Functional and Logic Programming. 2006. pp. 13-29.
R. Hinze and A. Löh. "Scrap Your Boilerplate: Revolutions" In Mathematics and Program Construction. 2006. pp. 180-208.