fold
118p. http://www.cs.ut.ee/~varmo/papers/thesis.pdf http://www.cs.ut.ee/~varmo/
44p.何故か一つのファイルに同じ内容のものが二つ入っている(ただ、前にある方に一ページの欠落がある)ので、実際には22p。 目次。 Context The Problem A simple example Functors Types as initial fixed points Paramorphisms relationship with catamo…
(via Lambda the Ultimate) 8p.目次。 Introduction Bidirectional Fold Unidirectional Scan Bidirectional Scan Mapping Scans Conclusion http://www.dcs.gla.ac.uk/publications/paperdetails.cfm?id=7063
目次。 Introduction The fold operator The universal property of fold Universality as a proof principle The fusion property of fold Universality as a definition principle Increasing the power of fold: generating tuples Primitive recursion U…
目次。 Introduction The data type of lists Catamorphisms Anamorphisms Hylomorphisms Paramorphisms Algebraic data types Functors Recursive types Recursion Schemes Program Calculation Laws Catamorphisms Anamorphisms Hylomorphisms Relating ca…