@unpublished{J00RAT,
AUTHOR = "M. {von Thun}",
TITLE = "Lambda calculus vs. combinatory logic vs. {Joy}
--- a very very gentle introduction",
NOTE = "Available from the author",
YEAR = 1997}
@unpublished{J00SOV,
AUTHOR = "M. {von Thun}",
TITLE = "A short overview of {Joy}",
NOTE = "Available from the author",
YEAR = 1994}
@unpublished{J00LOV,
AUTHOR = "M. {von Thun}",
TITLE = "Overview of {Joy}",
NOTE = "Available from the author",
YEAR = 1994}
@unpublished{J01TUT,
AUTHOR = "M. {von Thun}",
TITLE = "An informal tutorial on {Joy}",
NOTE = "Available from the author",
YEAR = 1994}
@unpublished{J02MAF,
AUTHOR = "M. {von Thun}",
TITLE = "Mathematical foundations of {Joy}",
NOTE = "Available from the author",
YEAR = 1994}
@unpublished{J03ATM,
AUTHOR = "M. {von Thun}",
TITLE = "Atomic programs of {Joy}",
NOTE = "Available from the author",
YEAR = 1995}
@unpublished{J04alg,
AUTHOR = "M. {von Thun}",
TITLE = "The algebra of {Joy}",
NOTE = "Available from the author",
YEAR = 1995}
@unpublished{J05CMP,
AUTHOR = "M. {von Thun}",
TITLE = "Computability and {Joy}",
NOTE = "Available from the author",
YEAR = 1996}
@unpublished{J06PRG,
AUTHOR = "M. {von Thun}",
TITLE = "Simple programming in {Joy}",
NOTE = "Available from the author",
YEAR = 1996}
@unpublished{J07RRS,
AUTHOR = "M. {von Thun}",
TITLE = "A rewriting system for Joy",
NOTE = "Available from the author",
YEAR = 1996}
@unpublished{J08CNT,
AUTHOR = "M. {von Thun}",
TITLE = "Joy compared with other functional languages",
NOTE = "Available from the author",
YEAR = 1996}
@book{JOYBOOK:00,
AUTHOR = "M. {von Thun}",
TITLE = "The Joy of Computer Programming",
PUBLISHER = "In preparation",
YEAR = 00}
@book {Arbib-Manes:75,
AUTHOR = "Arbib, M. and Manes, L.",
TITLE = "Arrows, Structures and Functors:
The Categorical Imperative",
PUBLISHER = "Academic Press",
YEAR = 1975}
@book {Asperti-Longo:91,
AUTHOR = "Asperti, A. and Longo, G.",
TITLE = "Categories, Types and Structures",
Publisher = "MIT Press",
YEAR = 1991}
@book {Barwise-Etchemendy:87,
AUTHOR = "J. Barwise and J. Etchemendy",
TITLE = "The Liar --- an Essay on Truth and Circularity",
PUBLISHER = "Oxford University Press",
YEAR = 1987}
@book {Bauer-Woessner:82,
AUTHOR = "F.L. Bauer and H. W{\"{o}ssner}",
TITLE = "Algorithmic Language and Program Development",
PUBLISHER = "Springer",
YEAR = 1982}
@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}
@incollection{Backus:81,
AUTHOR = "J. W. Backus",
TITLE = "Is Computer Science based on the
Wrong Fundamental Concept of 'Program'? An extended Concept",
YEAR = 1981,
EDITOR = "J. W, de Bakker, J. C. van Vliet",
BOOKTITLE = "Algorithmic Languages",
PUBLISHER = "North Holland",
PAGES = 133}
@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}
@book {Barendregt:84,
AUTHOR = "H. P. Barendregt",
TITLE = "The Lambda Calculus, Its Syntax and Semantics",
PUBLISHER = "North Holland",
YEAR = 1984}
@incollection{Barendregt:92,
AUTHOR = "H.P. Barendregt",
TITLE = "Lambda Calculi with Types",
YEAR = 1992,
PAGES = 117,
EDITOR = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
BOOKTITLE = "Handbook of Logic in Computer Science",
PUBLISHER = "Clarendon Press",
VOLUME = 2}
@book {Barr-Wells:90,
AUTHOR = "M. Barr and C. Wells",
TITLE = "Category Theory for Computer Science",
PUBLISHER = "Prentice Hall",
YEAR = 1990}
@incollection {Bellot-Robinet:85,
AUTHOR = "P. Bellot and B. Robinet",
TITLE = "Streams are not Dreams",
YEAR = 1985,
EDITOR = "G. Cousineau and P.-L. Curien and B. Robinet",
BOOKTITLE = "Combinators and Functional Programming Languages",
PUBLISHER = "Springer: LNCS vol. 242",
PAGES = 1}
@incollection {Ben-Asher-etal:93,
AUTHOR = "Y. Ben-Asher and G. {R\"{u}nger} and
A. Schuster and R. Williams",
TITLE = "{2DT-FP}: An {FP}-based Programming Language
for efficient parallel Programming of Multiprocessor Networks",
YEAR = 1993,
EDITOR = "A. Bode and M. Reeve and G. Wolf",
BOOKTITLE = "PARLE '93 Parallel Architectures and Languages Europe",
PUBLISHER = "Springer: LNCS vol. 694",
PAGES = 42}
@inproceedings {Bellegarde:84,
AUTHOR = "F. Bellegarde",
TITLE = "Rewriting systems on {FP} expressions
that reduce the number of sequences they yield",
YEAR = 1984,
PAGES = 63,
BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
@incollection {Bird:86,
AUTHOR = "Bird, R.S.",
TITLE = "An Introduction to the Theory of Lists",
YEAR = 1986,
EDITOR = "Broy, M.",
BOOKTITLE = "Logic Programming and Calculi of Discrete Design",
PUBLISHER = "Springer",
PAGES = 5}
@book{Bird:88,
AUTHOR = "Bird, R. and Wadler, P.",
TITLE = "Introduction to Functional Programming",
PUBLISHER = "Prentice Hall",
YEAR = 1988}
@incollection {Bird-deMoor:92,
AUTHOR = "Bird, R.S. and de~Moor, O.",
TITLE = "Solving Optimisation Problems with Catamorphisms",
YEAR = 1992,
EDITOR = "Bird, R.S. and Morgan, C.C. and Woodcock, J.C.P.",
BOOKTITLE = "Mathematics of Program Construction",
PUBLISHER = "Springer: LNCS vol. 44",
PAGES = 44}
@book {Bird-dM:97,
AUTHOR = "Bird, R. and de~Moor, O.",
TITLE = "Algebra of Programming",
PUBLISHER = "Prentice Hall",
YEAR = 1997}
@incollection {Book:85,
AUTHOR = "R.V. Book",
TITLE = "Thue Systems as Rewriting Systems",
YEAR = 1985,
EDITOR = "J.-P. Jouannaud",
BOOKTITLE = "Rewriting Techniques and Applications",
PUBLISHER = "Springer: LNCS vol. 202",
PAGES = 63}
@incollection {Brus:87,
AUTHOR = "T.H. Brus and M.C.J.D. van Eekelen and
M.O van Leer and M.J. Plasmejer",
TITLE = "Clean --- a Language for Functional Graph Rewriting",
YEAR = 1987,
EDITOR = "G. Kahn",
BOOKTITLE = "Functional Programming Languages and Computer Architecture",
PUBLISHER = "Springer: LNCS vol. 272",
PAGES = 367}
@book{Burge:75,
AUTHOR = "W. H. Burge",
TITLE = "Recursive Programming Techniques",
PUBLISHER = "Addison Wesley",
YEAR = 1975}
@book {Buszkowski-etal:88,
EDITOR = "W. Buszkowski and W. Marciszewski and J. Van Benthem",
TITLE = "Categorial Grammars",
PUBLISHER = "John Benjamins Publishing",
YEAR = 1988}
@incollection {Cartwright:91,
AUTHOR = "R. Cartwright",
TITLE = "Lambda: the ultimate combinator",
YEAR = 1991,
EDITOR = "V. Lifschitz",
BOOKTITLE = "Artificial Intelligence and
Mathematical Theory of Computation",
PUBLISHER = "Academic Press",
PAGES = 27}
@book {Church:41,
AUTHOR = "A. Church",
TITLE = "The calculi of lambda conversion",
PUBLISHER = "Princeton University Press",
YEAR = 1941}
@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"}
@incollection {Cousineau-etal:85,
AUTHOR = "G. Cousineau and P.-L. Curien and
M. Mauny and A. Su\'{a}rez",
TITLE = "Combinateurs Cat\'{e}gorique et
Impl\'{e}mentation des Langages Fonctionnels
(in {French})",
YEAR = 1985,
EDITOR = "G. Cousineau and P.-L. Curien and B. Robinet",
BOOKTITLE = "Combinators and Functional Programming Languages",
PUBLISHER = "Springer: LNCS vol. 242",
PAGES = 85}
@article {Cousineau-etal:87,
AUTHOR = "G. Cousineau and P.-L. Curien and M. Mauny",
TITLE = "The Categorical Abstract Machine",
JOURNAL = "Science of Computer Programming",
YEAR = 1987,
VOLUME = 9,
PAGES = 203}
@article {Curien:86,
AUTHOR = "P.-L. Curien",
TITLE = "Categorical Combinators",
JOURNAL = "Information and Control",
YEAR = 1986,
VOLUME = 69,
PAGES = 188}
@book{Curry:58,
AUTHOR = "H. Curry and R. Feys",
TITLE = "Combinatory Logic",
VOLUME = 1,
PUBLISHER = "North Holland",
YEAR = 1958}
@inproceedings {Dosch:84,
AUTHOR = "W. Dosch and B. {M\"{o}ller}",
TITLE = "Busy and Lazy {FP} with Infinite Objects",
YEAR = 1984,
PAGES = 282,
BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
@book {Ehrig-Mahr:90,
AUTHOR = "H. Ehrig and B.Mahr",
TITLE = "Fundamentals of Algebraic Specification 2 ---
Module Specifications and Constraints",
PUBLISHER = "Springer",
YEAR = 1990}
@incollection {Fradet-Metayer:89,
AUTHOR = "P. Fradet and D. Le M\'{e}tayer",
TITLE = "Compilation of Lambda-Calculus into Functional Machine Code",
YEAR = 1989,
EDITOR = "J. D\'{i}az and F. Orejas",
BOOKTITLE = "TAPSOFT '89",
PUBLISHER = "Springer: LNCS vol. 352",
PAGES = 155}
@incollection {Fradet:91,
AUTHOR = "P. Fradet and D. Le M\'{e}tayer",
TITLE = "From Lambda Calculus to Machine Code
by Program Transformation",
YEAR = 1991,
EDITOR = "J.-P Ban\^{a}tre and S.B. Jones and D. Le M\'{e}tayer",
BOOKTITLE = "Prospects for Functional Programming in
Software Engineering",
PUBLISHER = "Springer: ESPRIT Report 302",
PAGES = 121}
@book{Field&Harrison:88,
AUTHOR = "A. J. Field and P. G. Harrison",
TITLE = "Functional Programming",
PUBLISHER = "Addison Wesley",
YEAR = 1988}
@inproceedings {Givler:84,
AUTHOR = "J.S. Givler and R.B. Kieburtz",
TITLE = "Schema Recognition for Program Transformations",
YEAR = 1984,
PAGES = 74,
BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
@book {Gries:81,
AUTHOR = "D. Gries",
TITLE = "The Science of Programming",
PUBLISHER = "Springer",
YEAR = 1981}
@incollection {Hains-Foisy:93,
AUTHOR = "G. Hains and C. Foisy",
TITLE = "The Data-parallel Categorical Abstract Machine",
YEAR = 1993,
EDITOR = "A. Bode and M. Reeve and G. Wolf",
BOOKTITLE = "PARLE '93 Parallel Architectures and Languages Europe",
PUBLISHER = "Springer: LNCS vol. 694",
PAGES = 56}
@incollection {Hannan:91,
AUTHOR = "J. Hannan",
TITLE = "Making Abstract Machines Less Abstract",
YEAR = 1991,
EDITOR = "J. Hughes",
BOOKTITLE = "Functional Programming Languages and Computer Architecture",
PUBLISHER = "Springer: LNCS vol. 523",
PAGES = 619}
@incollection {Hansen-et-al:89,
AUTHOR = "T. A. Hansen and T. Nikolasjen and J.L. {Tr\"{a}ff} and N.D. Jones",
TITLE = "Experiments with Implementations of two Theoretical Constructions",
YEAR = 1989,
EDITOR = "A.R. Meyer and M.A. Taitslin",
BOOKTITLE = "Logic at Botik '89",
PUBLISHER = "Springer: LNCS vol. 363",
PAGES = 119}
@book {Harland:84,
AUTHOR = "D.M. Harland",
TITLE = "Polymorphic Programming Languages --- Design and Implementation",
PUBLISHER = "Ellis Horwood : John Wiley",
YEAR = 1984}
@book{Henderson:1980,
AUTHOR = "P. Henderson",
TITLE = "Functional Programming: Application and Implementation",
PUBLISHER = "Prentice Hall",
YEAR = 1980}
@book {HMTarski:71,
AUTHOR = "L. Henkin and D. Monk and A. Tarski",
TITLE = "Cylindric Algebras I",
PUBLISHER = "North-Holland",
YEAR = 1971}
@book{Henson:87,
AUTHOR = "M. C. Henson",
TITLE = "Elements of Functional Languages",
PUBLISHER = "Blackwell",
YEAR = 1987}
@book {Hindley-Seldin:86,
AUTHOR = "J.R. Hindley and J.P. Seldin",
TITLE = "Introduction to Combinators and Lambda-calculus",
PUBLISHER = "Cambridge University Press",
YEAR = 1986}
@book{Hofstadter:85,
AUTHOR = "Hofstadter, D.",
TITLE = "Metamagical Themas: Questing for the Essence of Mind and Pattern",
PUBLISHER = "Basic Books",
YEAR = 1985}
@article {Hudak:89,
AUTHOR = "P. Hudak",
TITLE = "Conception, Evolution and Application of
Functional Programming Languages",
JOURNAL = "ACM Computing Surveys",
PAGES = 359,
YEAR = 1989}
@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}
@incollection{Jones:92,
AUTHOR = "N.D. Jones",
TITLE = "Computer Implementation and Applications of
{K}leene's {S}-m-n and Recursion Theorems",
YEAR = 1992,
PAGES = 243,
EDITOR = "Y.N. Moschovakis",
BOOKTITLE = "Logic from Computer Science",
PUBLISHER = "Springer"}
@book {Kelly-etal:86,
AUTHOR = "M.G. Kelly and N. Spies",
TITLE = "Forth --- a Text and Reference",
PUBLISHER = "Prentice-Hall",
YEAR = 86}
@incollection{Klop:92,
AUTHOR = "J.W. Klop",
TITLE = "Term Rewriting Systems",
YEAR = 1992,
PAGES = 1,
EDITOR = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
BOOKTITLE = "Handbook of Logic in Computer Science",
PUBLISHER = "Clarendon Press",
VOLUME = 2}
@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}
@incollection {LeMetayer:91,
AUTHOR = "D. Le M\'{e}tayer",
TITLE = "Analysis of Functional Programs by Program Transformation",
YEAR = 1991,
EDITOR = "J.-P Ban\^{a}tre, S.B. Jones and D. Le M\'{e}tayer",
BOOKTITLE = "Prospects fo Functional Programming in
Software Engineering",
PUBLISHER = "Springer: ESPRIT Report 302",
PAGES = 87}
@incollection {Lins:87,
AUTHOR = "R.D. Lins",
TITLE = "Categorical multicombinators",
YEAR = 1987,
EDITOR = "G. Kahn",
BOOKTITLE = "Functional Programming Languages and Computer Architecture",
PUBLISHER = "Springer: LNCS vol. 274",
PAGES = 60}
@incollection {Lofgren:72,
AUTHOR = "L. {L\"{o}fgren}",
TITLE = "Relative Explanations of Systems",
EDITOR = "G.J. Klir",
BOOKTITLE = "Trends in General Systems Theory",
PUBLISHER = "Wiley-Interscience",
PAGES = 340,
YEAR = 1972}
@book {MacLennan:90,
AUTHOR = "B.J. MacLennan",
TITLE = "Functional Programming --- Practice and Theory",
PUBLISHER = "Addison Wesley",
YEAR = 1990}
@incollection {Malcolm:89,
AUTHOR = "Malcolm, G.",
TITLE = "Homomorphisms and Promotability",
YEAR = 1989,
EDITOR = "J.L.A. {van de Snepscheut}",
BOOKTITLE = "Mathematics of Program Construction",
PUBLISHER = "Springer: LNCS vol. 375",
PAGES = 335}
@book {Martin:70,
EDITOR = "R.L. Martin",
TITLE = "The Paradox of the Liar",
PUBLISHER = "Yale University Press",
YEAR = 1970}
@inproceedings {Mauny:86,
AUTHOR = "M. Mauny and A. Su\'{a}rez",
TITLE = "Implementing Functional Languages
in the Categorical Abstract Machine",
YEAR = 1986,
PAGES = 266,
BOOKTITLE = "1986 ACM Conference on Lisp and Functional Programming"}
@incollection {Meertens:89,
AUTHOR = "L. Meertens",
TITLE = "Constructing a Calculus of Programs",
YEAR = 1989,
EDITOR = "J.L.A. {van de Snepscheut}",
BOOKTITLE = "Mathematics of Program Construction",
PUBLISHER = "Springer: LNCS vol. 375",
PAGES = 66}
@incollection {Meijer-etal:91,
AUTHOR = "Meijer, E. and Fokkinga, M. and Paterson, R.",
TITLE = "Functional Programming with
Bananas, Lenses, Envelopes and Barbed Wire",
YEAR = 1991,
EDITOR = "Hughes, J.",
BOOKTITLE = "Functional Programming and Computer Architecture",
PUBLISHER = "Springer: LNCS vol. 523",
PAGES = 124}
@book{Mendelson:64,
AUTHOR = "E. Mendelson",
TITLE = "Introduction to Mathematical Logic",
PUBLISHER = "Van Nostrand Reinhold",
YEAR = 1964}
@book {Oehrle-etal:88,
EDITOR = "R.T. Oehrle and E.Bach and D. Wheeler",
TITLE = "Categorial Grammars and Natural Language Structures",
PUBLISHER = "Reidel",
YEAR = 1988}
@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}
@incollection{Phillips:92,
AUTHOR = "I.C.C. Phillips",
TITLE = "Recursion Theory",
YEAR = 1992,
PAGES = 79,
EDITOR = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
BOOKTITLE = "Handbook of Logic in Computer Science",
PUBLISHER = "Clarendon Press",
VOLUME = 1}
@book {Pierce:91,
AUTHOR = "B.C. Pierce",
TITLE = "Basic Category Theory for Computer Scientists",
PUBLISHER = "MIT Press",
YEAR = 1991}
@incollection{Poigne:92,
AUTHOR = "A. Poigne",
TITLE = "Basic Category Theory",
YEAR = 1992,
PAGES = 413,
EDITOR = "S. Abramsky, D.M. Gabbay and T.S.E. Maibaum",
BOOKTITLE = "Handbook of Logic in Computer Science",
PUBLISHER = "Clarendon Press",
VOLUME = 1}
@book{Quine:71,
AUTHOR = "W.V.O. Quine",
TITLE = "Algebraic Logic and Predicate Functors",
PUBLISHER = "Bobs-Merrill",
YEAR = 1971}
@incollection{Quine:37,
AUTHOR = "W.V.O. Quine",
TITLE = "Logic based on inclusion and abstraction
(originally published 1937)",
YEAR = 1995,
BOOKTITLE = "Selected logic papers",
PUBLISHER = "Harvard University Press"}
@inproceedings {Ramsdell:86,
AUTHOR = "J.D. Ramsdell",
TITLE = "The {CURRY} chip",
YEAR = 1986,
PAGES = 122,
BOOKTITLE = "1986 ACM Conference on Lisp and Functional Programming"}
@article {Raoult-Sethi:83,
AUTHOR = "Raoult, J.-C. and Sethi, R.",
TITLE = "Properties of a notation for combining functions",
JOURNAL = "J. Assoc. for Computing Machinery",
YEAR = 1983,
VOLUME = 30,
PAGES = 595}
@book{Reade:89,
AUTHOR = "C. Reade",
TITLE = "Elements of Functional Programming",
PUBLISHER = "Addison Wesley",
YEAR = 1989}
@book{Revesz:88,
AUTHOR = "G. E. Revesz",
TITLE = "Lambda Calculus, Combinators and Functional Programming",
PUBLISHER = "Cambridge University Press",
YEAR = 1988}
@book {Reynolds:81,
AUTHOR = "J.C. Reynolds",
TITLE = "The Craft of Programming",
PUBLISHER = "Prentice Hall",
YEAR = 1981}
@incollection {Robinson:69,
AUTHOR = "J.A. Robinson",
TITLE = "A Note on Mechanizing Higher Order Logic",
YEAR = 1969,
EDITOR = "B. Meltzer and D. Michie",
BOOKTITLE = "Machine Intelligence 5",
PUBLISHER = "Edinburgh University Press",
PAGES = 123}
@book {Rogers:67,
AUTHOR = "H. Rogers",
TITLE = "Theory of Recursive Functions and Effective Computability",
PUBLISHER = "McGraw-Hill",
YEAR = 1967}
@incollection{Rydeheard:85,
AUTHOR = "D. E. Rydeheard",
TITLE = "Functors and natural transformations",
YEAR = 1985,
EDITOR = "D. Pitt and S. Abramsky and A. Poigne and D. Rydeheard",
BOOKTITLE = "Category Theory and Computer Programming",
PUBLISHER = "Springer: LNCS vol. 240",
PAGES = 43}
@book {Salomaa:85,
AUTHOR = "Salomaa, A.",
TITLE = "Computation and Automata",
PUBLISHER = "Cambridge University Press",
YEAR = 1985}
@book {Salman-etal:84,
AUTHOR = "W.P. Salman and O.Tisserand and B. Toulot",
TITLE = "Forth",
PUBLISHER = "MacMillan",
YEAR = 1984}
@incollection {Schoenfinkel:24,
AUTHOR = "M. {Sch\"{o}nfinkel}",
TITLE = "On the building blocks of mathematical logic",
YEAR = 1967,
BOOKTITLE = "From Frege to {G\"{o}del}",
EDITOR = "J. van Heijenoort",
PUBLISHER = "Harvard University Press",
NOTE = "English Translation from the German original.
Includes foreword by W.V.O. Quine",
PAGES = 357}
@inproceedings {Sheeran:84,
AUTHOR = "M. Sheeran",
TITLE = "{muFP}, a language for {VLSI} design",
YEAR = 1984,
PAGES = 104,
BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
@book {Schmidt:86,
AUTHOR = "D.A. Schmidt",
TITLE = "Denotational Semantics",
PUBLISHER = "Allyn and Bacon (Boston)",
YEAR = 1986},
@incollection{Schmitt:87,
AUTHOR = "P.H. Schmitt",
TITLE = "A Survey of Rewrite Systems",
YEAR = 1987,
EDITOR = "E. {B\"{o}rger} and H. Kleine {B\"{u}ning} and M.M. Richter",
BOOKTITLE = "CSL '87",
PUBLISHER = "Springer: LNCS vol. 329",
PAGES = 235}
@incollection {Spivey:89,
AUTHOR = "Spivey, M.",
TITLE = "A Categorical Approach to the Theory of Lists",
YEAR = 1989,
EDITOR = "J.L.A. {van de Snepscheut}",
BOOKTITLE = "Mathematics of Program Construction",
PUBLISHER = "Springer: LNCS vol. 375",
PAGES = 375}
@book {Stoy:77,
AUTHOR = "J. Stoy",
TITLE = "Denotational Semantics, the Scott-Strachey Approach to
Programming Language Theory",
PUBLISHER = "MIT Press",
YEAR = 1977}
@book{Smullyan:61,
AUTHOR = "R.M. Smullyan",
TITLE = "Theory of Formal Systems",
PUBLISHER = "Princeton University Press",
YEAR = 1961}
@book{Smullyan:90,
AUTHOR = "R.M. Smullyan",
TITLE = "To Mock a Mockingbird",
PUBLISHER = "Oxford University Press",
YEAR = 1990}
@book {Smullyan:94,
AUTHOR = "R.M. Smullyan",
TITLE = "Diagonalisation and Self-reference",
PUBLISHER = "Clarendon Press",
YEAR = 1994}
@book {Sokolowski:91,
AUTHOR = "S. Sokolowski",
TITLE = "Applicative Higher Order Programming: the Standard ML Perspective",
PUBLISHER = "Chapman and Hall",
YEAR = 1991}
@article {Tennent:76,
AUTHOR = "R.D. Tennent",
TITLE = "The Denotational Semantics of Programming Languages",
JOURNAL = "Communications of the ACM",
YEAR = 1976,
VOLUME = 19,
PAGES = 437}
@book {Tennent:91,
AUTHOR = "R.D. Tennent",
TITLE = "Semantics of Programming Languages",
PUBLISHER = "Prentice Hall",
YEAR = 1991}
@book {Thompson:91,
AUTHOR = "S. Thompson",
TITLE = "Type Theory and Functional Programming",
PUBLISHER = "Addison Wesley",
YEAR = 1991}
@book {Thompson:95,
AUTHOR = "S. Thompson",
TITLE = "Miranda: The Craft of Functional Programming",
PUBLISHER = "Addison Wesley",
YEAR = 1995}
@article {Turner:79,
AUTHOR = "D.A. Turner",
TITLE = "A New Implementation Technique for Applicative Languages",
JOURNAL = "Software --- Practice and Experience",
VOLUME = 9,
YEAR = 1979,
PAGES = 31}
@incollection {Turner:90,
AUTHOR = "D.A. Turner",
TITLE = "An overview of {Miranda}",
YEAR = 1990,
EDITOR = "D.A. Turner",
BOOKTITLE = "Research Topics in Functional Programming",
PUBLISHER = "Addison Wesley",
PAGES = 1}
@inproceedings {Wadler:92,
AUTHOR = "Wadler, P.",
TITLE = "The Essence of Functional Programming",
BOOKTITLE = "19th Annual Symposium on
Principles of Programming Languages, Albuquerque",
YEAR = 1992}
@incollection{Wald:93,
AUTHOR = "B. Wald",
TITLE = "A Theory of Unary Pairfunctions",
YEAR = 1993,
EDITOR = "M. Droste and Y. Gurevich",
BOOKTITLE = "Semantics of Programming Languages and Model Theory",
PUBLISHER = "Gordon and Breach Science Publishers",
PAGES = 287}
@book {Walters:91,
AUTHOR = "R.F.C. Walters",
TITLE = "Categories and Computer Science",
PUBLISHER = "Cambridge University Press",
YEAR = 1991}
@incollection {Williams:82,
AUTHOR = "J.H. Williams",
TITLE = "Notes on the {FP} style of programming",
YEAR = 1982,
EDITOR = "J. Darlington and P. Henderson and D.A. Turner",
BOOKTITLE = "Functional Programming and its Applications",
PUBLISHER = "Cambridge University Press",
PAGES = 73}
@book {Winskel:93,
AUTHOR = "G. Winskel",
TITLE = "The Formal Semantics of Programming Languages",
PUBLISHER = "MIT Press",
YEAR = 1993}