juxt.bib

@book {Arbib-Manes:75,
    AUTHOR = "Arbib, M. and Manes, L.",
    TITLE = "Arrows, Structures and Functors:
             The Categorical Imperative",
    NOTE = "Home library",
    PUBLISHER = "Academic Press",
    YEAR = 1975}
@incollection{Backus-etal:90,
    AUTHOR = "J.W. Backus and J. Williams and E.W. Wimmers",
    TITLE = "An Introduction to the programming Language {FL}",
    YEAR = 1990,
    EDITOR = "D.A. Turner",
    BOOKTITLE = "Research Topics in Functional Programming",
    PUBLISHER = "Addison Wesley",
    PAGES = 219}
@article{Backus:78,
    AUTHOR = "J. W. Backus",
    TITLE = "Can Programming be liberated from the von {N}eumann Style?
             A functional style and its algebra of programs",
    JOURNAL = "Communications of the ACM",
    YEAR = 1978,
    VOLUME = 21,
    NUMBER = 8,
    PAGES = 613}
@book{Burge:75,
    AUTHOR = "W. H. Burge",
    TITLE = "Recursive Programming Techniques",
    PUBLISHER = "Addison Wesley",
    YEAR = 1975}
@inproceedings {Clement:86,
    AUTHOR = "D. Clement and J. Despeyroux and T. Despeyroux and G. Kahn",
    TITLE = "A simple Applicative Language: Mini {ML}",
    YEAR = 1986,
    PAGES = 13,
    BOOKTITLE = "1986 ACM Conference on Lisp and Functional Programming"}
@book {Gries:81,
    AUTHOR = "D. Gries",
    TITLE = "The Science of Programming",
    PUBLISHER = "Springer",
    YEAR = 1981}
@book{Henderson:1980,
    AUTHOR = "P. Henderson",
    TITLE = "Functional Programming: Application and Implementation",
    PUBLISHER = "Prentice Hall",
    YEAR = 1980}
@book{Hofstadter:85,
    AUTHOR = "Hofstadter, D.",
    TITLE = "Metamagical Themas: Questing for the Essence of Mind and Pattern",
    PUBLISHER = "Basic Books",
    NOTES = "Needs deeper reading",
    YEAR = 1985}
@incollection{Hughes:90,
    AUTHOR = "J. Hughes",
    TITLE = "Why Functional Programming Matters",
    YEAR = 1990,
    EDITOR = "D.A. Turner",
    BOOKTITLE = "Research Topics in Functional Programming",
    PUBLISHER = "Addison Wesley",
    PAGES = 17}
@online{RB0000,
    AUTHOR = "Reginald Braithwaite",
    TITLE = "Why Why Functional Programming Matters Matters",
    URL = {https://raganwald.com/2014/12/20/why-why-functional-programming-matters-matters.html},
    YEAR = 2007}
@book {Kelly-etal:86,
    AUTHOR = "M.G. Kelly and N. Spies",
    TITLE = "Forth --- a Text and Reference",
    PUBLISHER = "Prentice-Hall",
    YEAR = 86}
@book {Knuth:73,
    AUTHOR = "D.E. Knuth",
    TITLE = "The Art of Computer Programming",
    PUBLISHER = "Addison Wesley",
    YEAR = 1973}
@book{Kogge:91,
    AUTHOR = "P.M. Kogge",
    TITLE = "The Architecture of Symbolic Computers",
    PUBLISHER = "McGraw-Hill",
    YEAR = 1991}
@book{Okasaki:99,
    author = {Okasaki, Chris},
    title = {Purely Functional Data Structures},
    year = {1999},
    publisher = {Cambridge University Press}}
@book {Paulson:92,
    AUTHOR = "L.C. Paulson",
    TITLE = "ML for the Working Programmer",
    PUBLISHER = "Cambridge University Press",
    YEAR = 1992}
@book {Peyton-Jones:87,
    AUTHOR = "S. L. PeytonJones",
    TITLE = "The Implementation of Functional Languages",
    PUBLISHER = "Prentice Hall",
    YEAR = 1987}
@book {Pierce:91,
    AUTHOR = "B.C. Pierce",
    TITLE = "Basic Category Theory for Computer Scientists",
    PUBLISHER = "MIT Press",
    YEAR = 1991}
@online{J00RATIONALE,
    AUTHOR = "M. {von Thun}",
    TITLE = "Rationale for {Joy}, a functional language",
    URL = {https://hypercubed.github.io/joy/html/j00rat.html},
    YEAR = 1994}
@online{J00SOV,
    AUTHOR = "M. {von Thun}",
    TITLE = "Overview of the language {Joy}",
    URL = {https://hypercubed.github.io/joy/html/j00ovr.html},
    YEAR = 1994}
@online{J01TUT,
    AUTHOR = "M. {von Thun}",
    TITLE = "An informal tutorial on {Joy}",
    URL = "https://hypercubed.github.io/joy/html/j01tut.html",
    YEAR = 1994}
@online{J08CNT,
    AUTHOR = "M. {von Thun}",
    TITLE = "{Joy} compared with other functional languages",
    URL = "https://hypercubed.github.io/joy/html/j08cnt.html",
    YEAR = 1997}
@online{J02MAF,
    AUTHOR = "M. {von Thun}",
    TITLE = "Mathematical foundations of {Joy}",
    URL = "https://hypercubed.github.io/joy/html/j02maf.html",
    YEAR = 1994}
@online{J03ATM,
    AUTHOR = "M. {von Thun}",
    TITLE = "Atomic programs of {Joy}",
    URL = "https://hypercubed.github.io/joy/html/j03atm.html",
    YEAR = 1995}
@online{J04alg,
    AUTHOR = "M. {von Thun}",
    TITLE = "The algebra of {Joy}",
    URL = "https://hypercubed.github.io/joy/html/j04alg.html",
    YEAR = 1995}
@online{J07RRS,
    AUTHOR = "M. {von Thun}",
    TITLE = "A rewriting system for Joy",
    URL = "https://hypercubed.github.io/joy/html/j07rrs.html",
    YEAR = 1996}
@online{J02MAF,
    AUTHOR = "M. {von Thun}",
    TITLE = "Recursion Theory and {Joy}",
    URL = "https://hypercubed.github.io/joy/html/j05cmp.html",
    YEAR = 1994}
@inproceedings {Wadler:92,
    AUTHOR = "Wadler, P.",
    TITLE = "The Essence of Functional Programming",
    BOOKTITLE = "19th Annual Symposium on
                 Principles of Programming Languages, Albuquerque",
    YEAR = 1992}
@book{Wirth1976,
    author = {Wirth, Niklaus},
    title = {Algorithms + Data Structures = Programs},
    isbn = {978-0-13-022418-7},
    publisher = {Prentice-Hall},
    year = 1976}