@inproceedings{PracticeCompositional-Jones2018,
    title = {The Practice of a Compositional Functional Programming Language},
    booktitle = {Asian Symposium on Programming Languages and Systems},
    year = 2018,
    doi = "10.1007/978-3-030-02768-1_10",
    url = "https://michael.homer.nz/Publications/APLAS2018/aplas-kihi.pdf",
    author = {Jones, Timothy and Homer, Michael},
    abstract = {
        Function composition is a very natural operation, but most language
        paradigms provide poor support for it. Without linguistic support
        programmers must work around or manually implement what would be simple
        compositions. The Kihi language uses only composition, makes all state
        visible, and reduces to just six core operations. Kihi programs are
        easily stepped by textual reduction but provide a foundation for
        compositional design and analysis.
    }
}