@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}