Backhouse, Roland; Doornbos, Henk Datatype-generic termination proofs. (English) Zbl 1166.68027 Theory Comput. Syst. 43, No. 3-4, 362-393 (2008). MSC: 68Q65 03G15 68N30 PDFBibTeX XMLCite \textit{R. Backhouse} and \textit{H. Doornbos}, Theory Comput. Syst. 43, No. 3--4, 362--393 (2008; Zbl 1166.68027) Full Text: DOI Link
Bringert, Björn; Ranta, Aarne A pattern for almost compositional functions. (English) Zbl 1321.68140 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 216-226 (2006). MSC: 68N18 68N15 68Q65 PDFBibTeX XMLCite \textit{B. Bringert} and \textit{A. Ranta}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 216--226 (2006; Zbl 1321.68140) Full Text: DOI
Abel, Andreas; Matthes, Ralph; Uustalu, Tarmo Iteration and coiteration schemes for higher-order and nested datatypes. (English) Zbl 1070.68093 Theor. Comput. Sci. 333, No. 1-2, 3-66 (2005). MSC: 68Q65 68N18 PDFBibTeX XMLCite \textit{A. Abel} et al., Theor. Comput. Sci. 333, No. 1--2, 3--66 (2005; Zbl 1070.68093) Full Text: DOI