An expressive language of signatures

Norman Ramsey, Kathleen Fisher, Paul Govereau. An expressive language of signatures. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 27-40, ACM, 2005. [doi]