Warning, /office/kbibtex-testset/bib/in-the-wild/joybibl.bib is written in an unsupported language. File is not indexed.
0001 @unpublished{J00RAT,
0002 AUTHOR = "M. {von Thun}",
0003 TITLE = "Lambda calculus vs. combinatory logic vs. {Joy}
0004 --- a very very gentle introduction",
0005 NOTE = "Available from the author",
0006 YEAR = 1997}
0007
0008 @unpublished{J00SOV,
0009 AUTHOR = "M. {von Thun}",
0010 TITLE = "A short overview of {Joy}",
0011 NOTE = "Available from the author",
0012 YEAR = 1994}
0013 @unpublished{J00LOV,
0014 AUTHOR = "M. {von Thun}",
0015 TITLE = "Overview of {Joy}",
0016 NOTE = "Available from the author",
0017 YEAR = 1994}
0018 @unpublished{J01TUT,
0019 AUTHOR = "M. {von Thun}",
0020 TITLE = "An informal tutorial on {Joy}",
0021 NOTE = "Available from the author",
0022 YEAR = 1994}
0023 @unpublished{J02MAF,
0024 AUTHOR = "M. {von Thun}",
0025 TITLE = "Mathematical foundations of {Joy}",
0026 NOTE = "Available from the author",
0027 YEAR = 1994}
0028 @unpublished{J03ATM,
0029 AUTHOR = "M. {von Thun}",
0030 TITLE = "Atomic programs of {Joy}",
0031 NOTE = "Available from the author",
0032 YEAR = 1995}
0033 @unpublished{J04alg,
0034 AUTHOR = "M. {von Thun}",
0035 TITLE = "The algebra of {Joy}",
0036 NOTE = "Available from the author",
0037 YEAR = 1995}
0038 @unpublished{J05CMP,
0039 AUTHOR = "M. {von Thun}",
0040 TITLE = "Computability and {Joy}",
0041 NOTE = "Available from the author",
0042 YEAR = 1996}
0043 @unpublished{J06PRG,
0044 AUTHOR = "M. {von Thun}",
0045 TITLE = "Simple programming in {Joy}",
0046 NOTE = "Available from the author",
0047 YEAR = 1996}
0048 @unpublished{J07RRS,
0049 AUTHOR = "M. {von Thun}",
0050 TITLE = "A rewriting system for Joy",
0051 NOTE = "Available from the author",
0052 YEAR = 1996}
0053 @unpublished{J08CNT,
0054 AUTHOR = "M. {von Thun}",
0055 TITLE = "Joy compared with other functional languages",
0056 NOTE = "Available from the author",
0057 YEAR = 1996}
0058 @book{JOYBOOK:00,
0059 AUTHOR = "M. {von Thun}",
0060 TITLE = "The Joy of Computer Programming",
0061 PUBLISHER = "In preparation",
0062 YEAR = 00}
0063
0064
0065 @book {Arbib-Manes:75,
0066 AUTHOR = "Arbib, M. and Manes, L.",
0067 TITLE = "Arrows, Structures and Functors:
0068 The Categorical Imperative",
0069 PUBLISHER = "Academic Press",
0070 YEAR = 1975}
0071
0072 @book {Asperti-Longo:91,
0073 AUTHOR = "Asperti, A. and Longo, G.",
0074 TITLE = "Categories, Types and Structures",
0075 Publisher = "MIT Press",
0076 YEAR = 1991}
0077
0078 @book {Barwise-Etchemendy:87,
0079 AUTHOR = "J. Barwise and J. Etchemendy",
0080 TITLE = "The Liar --- an Essay on Truth and Circularity",
0081 PUBLISHER = "Oxford University Press",
0082 YEAR = 1987}
0083
0084 @book {Bauer-Woessner:82,
0085 AUTHOR = "F.L. Bauer and H. W{\"{o}ssner}",
0086 TITLE = "Algorithmic Language and Program Development",
0087 PUBLISHER = "Springer",
0088 YEAR = 1982}
0089
0090 @article{Backus:78,
0091 AUTHOR = "J. W. Backus",
0092 TITLE = "Can Programming be liberated from the von {N}eumann Style?
0093 A functional style and its algebra of programs",
0094 JOURNAL = "Communications of the ACM",
0095 YEAR = 1978,
0096 VOLUME = 21,
0097 NUMBER = 8,
0098 PAGES = 613}
0099
0100 @incollection{Backus:81,
0101 AUTHOR = "J. W. Backus",
0102 TITLE = "Is Computer Science based on the
0103 Wrong Fundamental Concept of 'Program'? An extended Concept",
0104 YEAR = 1981,
0105 EDITOR = "J. W, de Bakker, J. C. van Vliet",
0106 BOOKTITLE = "Algorithmic Languages",
0107 PUBLISHER = "North Holland",
0108 PAGES = 133}
0109
0110 @incollection{Backus-etal:90,
0111 AUTHOR = "J.W. Backus and J. Williams and E.W. Wimmers",
0112 TITLE = "An Introduction to the programming Language {FL}",
0113 YEAR = 1990,
0114 EDITOR = "D.A. Turner",
0115 BOOKTITLE = "Research Topics in Functional Programming",
0116 PUBLISHER = "Addison Wesley",
0117 PAGES = 219}
0118
0119 @book {Barendregt:84,
0120 AUTHOR = "H. P. Barendregt",
0121 TITLE = "The Lambda Calculus, Its Syntax and Semantics",
0122 PUBLISHER = "North Holland",
0123 YEAR = 1984}
0124
0125 @incollection{Barendregt:92,
0126 AUTHOR = "H.P. Barendregt",
0127 TITLE = "Lambda Calculi with Types",
0128 YEAR = 1992,
0129 PAGES = 117,
0130 EDITOR = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
0131 BOOKTITLE = "Handbook of Logic in Computer Science",
0132 PUBLISHER = "Clarendon Press",
0133 VOLUME = 2}
0134
0135 @book {Barr-Wells:90,
0136 AUTHOR = "M. Barr and C. Wells",
0137 TITLE = "Category Theory for Computer Science",
0138 PUBLISHER = "Prentice Hall",
0139 YEAR = 1990}
0140
0141 @incollection {Bellot-Robinet:85,
0142 AUTHOR = "P. Bellot and B. Robinet",
0143 TITLE = "Streams are not Dreams",
0144 YEAR = 1985,
0145 EDITOR = "G. Cousineau and P.-L. Curien and B. Robinet",
0146 BOOKTITLE = "Combinators and Functional Programming Languages",
0147 PUBLISHER = "Springer: LNCS vol. 242",
0148 PAGES = 1}
0149
0150 @incollection {Ben-Asher-etal:93,
0151 AUTHOR = "Y. Ben-Asher and G. {R\"{u}nger} and
0152 A. Schuster and R. Williams",
0153 TITLE = "{2DT-FP}: An {FP}-based Programming Language
0154 for efficient parallel Programming of Multiprocessor Networks",
0155 YEAR = 1993,
0156 EDITOR = "A. Bode and M. Reeve and G. Wolf",
0157 BOOKTITLE = "PARLE '93 Parallel Architectures and Languages Europe",
0158 PUBLISHER = "Springer: LNCS vol. 694",
0159 PAGES = 42}
0160
0161 @inproceedings {Bellegarde:84,
0162 AUTHOR = "F. Bellegarde",
0163 TITLE = "Rewriting systems on {FP} expressions
0164 that reduce the number of sequences they yield",
0165 YEAR = 1984,
0166 PAGES = 63,
0167 BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
0168
0169 @incollection {Bird:86,
0170 AUTHOR = "Bird, R.S.",
0171 TITLE = "An Introduction to the Theory of Lists",
0172 YEAR = 1986,
0173 EDITOR = "Broy, M.",
0174 BOOKTITLE = "Logic Programming and Calculi of Discrete Design",
0175 PUBLISHER = "Springer",
0176 PAGES = 5}
0177
0178 @book{Bird:88,
0179 AUTHOR = "Bird, R. and Wadler, P.",
0180 TITLE = "Introduction to Functional Programming",
0181 PUBLISHER = "Prentice Hall",
0182 YEAR = 1988}
0183
0184 @incollection {Bird-deMoor:92,
0185 AUTHOR = "Bird, R.S. and de~Moor, O.",
0186 TITLE = "Solving Optimisation Problems with Catamorphisms",
0187 YEAR = 1992,
0188 EDITOR = "Bird, R.S. and Morgan, C.C. and Woodcock, J.C.P.",
0189 BOOKTITLE = "Mathematics of Program Construction",
0190 PUBLISHER = "Springer: LNCS vol. 44",
0191 PAGES = 44}
0192
0193 @book {Bird-dM:97,
0194 AUTHOR = "Bird, R. and de~Moor, O.",
0195 TITLE = "Algebra of Programming",
0196 PUBLISHER = "Prentice Hall",
0197 YEAR = 1997}
0198
0199 @incollection {Book:85,
0200 AUTHOR = "R.V. Book",
0201 TITLE = "Thue Systems as Rewriting Systems",
0202 YEAR = 1985,
0203 EDITOR = "J.-P. Jouannaud",
0204 BOOKTITLE = "Rewriting Techniques and Applications",
0205 PUBLISHER = "Springer: LNCS vol. 202",
0206 PAGES = 63}
0207
0208 @incollection {Brus:87,
0209 AUTHOR = "T.H. Brus and M.C.J.D. van Eekelen and
0210 M.O van Leer and M.J. Plasmejer",
0211 TITLE = "Clean --- a Language for Functional Graph Rewriting",
0212 YEAR = 1987,
0213 EDITOR = "G. Kahn",
0214 BOOKTITLE = "Functional Programming Languages and Computer Architecture",
0215 PUBLISHER = "Springer: LNCS vol. 272",
0216 PAGES = 367}
0217
0218 @book{Burge:75,
0219 AUTHOR = "W. H. Burge",
0220 TITLE = "Recursive Programming Techniques",
0221 PUBLISHER = "Addison Wesley",
0222 YEAR = 1975}
0223
0224 @book {Buszkowski-etal:88,
0225 EDITOR = "W. Buszkowski and W. Marciszewski and J. Van Benthem",
0226 TITLE = "Categorial Grammars",
0227 PUBLISHER = "John Benjamins Publishing",
0228 YEAR = 1988}
0229
0230 @incollection {Cartwright:91,
0231 AUTHOR = "R. Cartwright",
0232 TITLE = "Lambda: the ultimate combinator",
0233 YEAR = 1991,
0234 EDITOR = "V. Lifschitz",
0235 BOOKTITLE = "Artificial Intelligence and
0236 Mathematical Theory of Computation",
0237 PUBLISHER = "Academic Press",
0238 PAGES = 27}
0239
0240 @book {Church:41,
0241 AUTHOR = "A. Church",
0242 TITLE = "The calculi of lambda conversion",
0243 PUBLISHER = "Princeton University Press",
0244 YEAR = 1941}
0245
0246 @inproceedings {Clement:86,
0247 AUTHOR = "D. Clement and J. Despeyroux and T. Despeyroux and G. Kahn",
0248 TITLE = "A simple Applicative Language: Mini {ML}",
0249 YEAR = 1986,
0250 PAGES = 13,
0251 BOOKTITLE = "1986 ACM Conference on Lisp and Functional Programming"}
0252
0253 @incollection {Cousineau-etal:85,
0254 AUTHOR = "G. Cousineau and P.-L. Curien and
0255 M. Mauny and A. Su\'{a}rez",
0256 TITLE = "Combinateurs Cat\'{e}gorique et
0257 Impl\'{e}mentation des Langages Fonctionnels
0258 (in {French})",
0259 YEAR = 1985,
0260 EDITOR = "G. Cousineau and P.-L. Curien and B. Robinet",
0261 BOOKTITLE = "Combinators and Functional Programming Languages",
0262 PUBLISHER = "Springer: LNCS vol. 242",
0263 PAGES = 85}
0264
0265 @article {Cousineau-etal:87,
0266 AUTHOR = "G. Cousineau and P.-L. Curien and M. Mauny",
0267 TITLE = "The Categorical Abstract Machine",
0268 JOURNAL = "Science of Computer Programming",
0269 YEAR = 1987,
0270 VOLUME = 9,
0271 PAGES = 203}
0272
0273 @article {Curien:86,
0274 AUTHOR = "P.-L. Curien",
0275 TITLE = "Categorical Combinators",
0276 JOURNAL = "Information and Control",
0277 YEAR = 1986,
0278 VOLUME = 69,
0279 PAGES = 188}
0280
0281 @book{Curry:58,
0282 AUTHOR = "H. Curry and R. Feys",
0283 TITLE = "Combinatory Logic",
0284 VOLUME = 1,
0285 PUBLISHER = "North Holland",
0286 YEAR = 1958}
0287
0288 @inproceedings {Dosch:84,
0289 AUTHOR = "W. Dosch and B. {M\"{o}ller}",
0290 TITLE = "Busy and Lazy {FP} with Infinite Objects",
0291 YEAR = 1984,
0292 PAGES = 282,
0293 BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
0294
0295 @book {Ehrig-Mahr:90,
0296 AUTHOR = "H. Ehrig and B.Mahr",
0297 TITLE = "Fundamentals of Algebraic Specification 2 ---
0298 Module Specifications and Constraints",
0299 PUBLISHER = "Springer",
0300 YEAR = 1990}
0301
0302 @incollection {Fradet-Metayer:89,
0303 AUTHOR = "P. Fradet and D. Le M\'{e}tayer",
0304 TITLE = "Compilation of Lambda-Calculus into Functional Machine Code",
0305 YEAR = 1989,
0306 EDITOR = "J. D\'{i}az and F. Orejas",
0307 BOOKTITLE = "TAPSOFT '89",
0308 PUBLISHER = "Springer: LNCS vol. 352",
0309 PAGES = 155}
0310
0311 @incollection {Fradet:91,
0312 AUTHOR = "P. Fradet and D. Le M\'{e}tayer",
0313 TITLE = "From Lambda Calculus to Machine Code
0314 by Program Transformation",
0315 YEAR = 1991,
0316 EDITOR = "J.-P Ban\^{a}tre and S.B. Jones and D. Le M\'{e}tayer",
0317 BOOKTITLE = "Prospects for Functional Programming in
0318 Software Engineering",
0319 PUBLISHER = "Springer: ESPRIT Report 302",
0320 PAGES = 121}
0321
0322 @book{Field&Harrison:88,
0323 AUTHOR = "A. J. Field and P. G. Harrison",
0324 TITLE = "Functional Programming",
0325 PUBLISHER = "Addison Wesley",
0326 YEAR = 1988}
0327
0328 @inproceedings {Givler:84,
0329 AUTHOR = "J.S. Givler and R.B. Kieburtz",
0330 TITLE = "Schema Recognition for Program Transformations",
0331 YEAR = 1984,
0332 PAGES = 74,
0333 BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
0334
0335 @book {Gries:81,
0336 AUTHOR = "D. Gries",
0337 TITLE = "The Science of Programming",
0338 PUBLISHER = "Springer",
0339 YEAR = 1981}
0340
0341 @incollection {Hains-Foisy:93,
0342 AUTHOR = "G. Hains and C. Foisy",
0343 TITLE = "The Data-parallel Categorical Abstract Machine",
0344 YEAR = 1993,
0345 EDITOR = "A. Bode and M. Reeve and G. Wolf",
0346 BOOKTITLE = "PARLE '93 Parallel Architectures and Languages Europe",
0347 PUBLISHER = "Springer: LNCS vol. 694",
0348 PAGES = 56}
0349
0350 @incollection {Hannan:91,
0351 AUTHOR = "J. Hannan",
0352 TITLE = "Making Abstract Machines Less Abstract",
0353 YEAR = 1991,
0354 EDITOR = "J. Hughes",
0355 BOOKTITLE = "Functional Programming Languages and Computer Architecture",
0356 PUBLISHER = "Springer: LNCS vol. 523",
0357 PAGES = 619}
0358
0359 @incollection {Hansen-et-al:89,
0360 AUTHOR = "T. A. Hansen and T. Nikolasjen and J.L. {Tr\"{a}ff} and N.D. Jones",
0361 TITLE = "Experiments with Implementations of two Theoretical Constructions",
0362 YEAR = 1989,
0363 EDITOR = "A.R. Meyer and M.A. Taitslin",
0364 BOOKTITLE = "Logic at Botik '89",
0365 PUBLISHER = "Springer: LNCS vol. 363",
0366 PAGES = 119}
0367
0368 @book {Harland:84,
0369 AUTHOR = "D.M. Harland",
0370 TITLE = "Polymorphic Programming Languages --- Design and Implementation",
0371 PUBLISHER = "Ellis Horwood : John Wiley",
0372 YEAR = 1984}
0373
0374 @book{Henderson:1980,
0375 AUTHOR = "P. Henderson",
0376 TITLE = "Functional Programming: Application and Implementation",
0377 PUBLISHER = "Prentice Hall",
0378 YEAR = 1980}
0379
0380 @book {HMTarski:71,
0381 AUTHOR = "L. Henkin and D. Monk and A. Tarski",
0382 TITLE = "Cylindric Algebras I",
0383 PUBLISHER = "North-Holland",
0384 YEAR = 1971}
0385
0386 @book{Henson:87,
0387 AUTHOR = "M. C. Henson",
0388 TITLE = "Elements of Functional Languages",
0389 PUBLISHER = "Blackwell",
0390 YEAR = 1987}
0391
0392 @book {Hindley-Seldin:86,
0393 AUTHOR = "J.R. Hindley and J.P. Seldin",
0394 TITLE = "Introduction to Combinators and Lambda-calculus",
0395 PUBLISHER = "Cambridge University Press",
0396 YEAR = 1986}
0397
0398 @book{Hofstadter:85,
0399 AUTHOR = "Hofstadter, D.",
0400 TITLE = "Metamagical Themas: Questing for the Essence of Mind and Pattern",
0401 PUBLISHER = "Basic Books",
0402 YEAR = 1985}
0403
0404 @article {Hudak:89,
0405 AUTHOR = "P. Hudak",
0406 TITLE = "Conception, Evolution and Application of
0407 Functional Programming Languages",
0408 JOURNAL = "ACM Computing Surveys",
0409 PAGES = 359,
0410 YEAR = 1989}
0411 @incollection{Hughes:90,
0412 AUTHOR = "J. Hughes",
0413 TITLE = "Why Functional Programming Matters",
0414 YEAR = 1990,
0415 EDITOR = "D.A. Turner",
0416 BOOKTITLE = "Research Topics in Functional Programming",
0417 PUBLISHER = "Addison Wesley",
0418 PAGES = 17}
0419
0420 @incollection{Jones:92,
0421 AUTHOR = "N.D. Jones",
0422 TITLE = "Computer Implementation and Applications of
0423 {K}leene's {S}-m-n and Recursion Theorems",
0424 YEAR = 1992,
0425 PAGES = 243,
0426 EDITOR = "Y.N. Moschovakis",
0427 BOOKTITLE = "Logic from Computer Science",
0428 PUBLISHER = "Springer"}
0429
0430 @book {Kelly-etal:86,
0431 AUTHOR = "M.G. Kelly and N. Spies",
0432 TITLE = "Forth --- a Text and Reference",
0433 PUBLISHER = "Prentice-Hall",
0434 YEAR = 86}
0435
0436 @incollection{Klop:92,
0437 AUTHOR = "J.W. Klop",
0438 TITLE = "Term Rewriting Systems",
0439 YEAR = 1992,
0440 PAGES = 1,
0441 EDITOR = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
0442 BOOKTITLE = "Handbook of Logic in Computer Science",
0443 PUBLISHER = "Clarendon Press",
0444 VOLUME = 2}
0445
0446 @book {Knuth:73,
0447 AUTHOR = "D.E. Knuth",
0448 TITLE = "The Art of Computer Programming",
0449 PUBLISHER = "Addison Wesley",
0450 YEAR = 1973}
0451
0452 @book{Kogge:91,
0453 AUTHOR = "P.M. Kogge",
0454 TITLE = "The Architecture of Symbolic Computers",
0455 PUBLISHER = "McGraw-Hill",
0456 YEAR = 1991}
0457
0458 @incollection {LeMetayer:91,
0459 AUTHOR = "D. Le M\'{e}tayer",
0460 TITLE = "Analysis of Functional Programs by Program Transformation",
0461 YEAR = 1991,
0462 EDITOR = "J.-P Ban\^{a}tre, S.B. Jones and D. Le M\'{e}tayer",
0463 BOOKTITLE = "Prospects fo Functional Programming in
0464 Software Engineering",
0465 PUBLISHER = "Springer: ESPRIT Report 302",
0466 PAGES = 87}
0467
0468 @incollection {Lins:87,
0469 AUTHOR = "R.D. Lins",
0470 TITLE = "Categorical multicombinators",
0471 YEAR = 1987,
0472 EDITOR = "G. Kahn",
0473 BOOKTITLE = "Functional Programming Languages and Computer Architecture",
0474 PUBLISHER = "Springer: LNCS vol. 274",
0475 PAGES = 60}
0476
0477 @incollection {Lofgren:72,
0478 AUTHOR = "L. {L\"{o}fgren}",
0479 TITLE = "Relative Explanations of Systems",
0480 EDITOR = "G.J. Klir",
0481 BOOKTITLE = "Trends in General Systems Theory",
0482 PUBLISHER = "Wiley-Interscience",
0483 PAGES = 340,
0484 YEAR = 1972}
0485
0486
0487 @book {MacLennan:90,
0488 AUTHOR = "B.J. MacLennan",
0489 TITLE = "Functional Programming --- Practice and Theory",
0490 PUBLISHER = "Addison Wesley",
0491 YEAR = 1990}
0492
0493 @incollection {Malcolm:89,
0494 AUTHOR = "Malcolm, G.",
0495 TITLE = "Homomorphisms and Promotability",
0496 YEAR = 1989,
0497 EDITOR = "J.L.A. {van de Snepscheut}",
0498 BOOKTITLE = "Mathematics of Program Construction",
0499 PUBLISHER = "Springer: LNCS vol. 375",
0500 PAGES = 335}
0501
0502 @book {Martin:70,
0503 EDITOR = "R.L. Martin",
0504 TITLE = "The Paradox of the Liar",
0505 PUBLISHER = "Yale University Press",
0506 YEAR = 1970}
0507
0508 @inproceedings {Mauny:86,
0509 AUTHOR = "M. Mauny and A. Su\'{a}rez",
0510 TITLE = "Implementing Functional Languages
0511 in the Categorical Abstract Machine",
0512 YEAR = 1986,
0513 PAGES = 266,
0514 BOOKTITLE = "1986 ACM Conference on Lisp and Functional Programming"}
0515
0516
0517 @incollection {Meertens:89,
0518 AUTHOR = "L. Meertens",
0519 TITLE = "Constructing a Calculus of Programs",
0520 YEAR = 1989,
0521 EDITOR = "J.L.A. {van de Snepscheut}",
0522 BOOKTITLE = "Mathematics of Program Construction",
0523 PUBLISHER = "Springer: LNCS vol. 375",
0524 PAGES = 66}
0525
0526 @incollection {Meijer-etal:91,
0527 AUTHOR = "Meijer, E. and Fokkinga, M. and Paterson, R.",
0528 TITLE = "Functional Programming with
0529 Bananas, Lenses, Envelopes and Barbed Wire",
0530 YEAR = 1991,
0531 EDITOR = "Hughes, J.",
0532 BOOKTITLE = "Functional Programming and Computer Architecture",
0533 PUBLISHER = "Springer: LNCS vol. 523",
0534 PAGES = 124}
0535
0536 @book{Mendelson:64,
0537 AUTHOR = "E. Mendelson",
0538 TITLE = "Introduction to Mathematical Logic",
0539 PUBLISHER = "Van Nostrand Reinhold",
0540 YEAR = 1964}
0541
0542 @book {Oehrle-etal:88,
0543 EDITOR = "R.T. Oehrle and E.Bach and D. Wheeler",
0544 TITLE = "Categorial Grammars and Natural Language Structures",
0545 PUBLISHER = "Reidel",
0546 YEAR = 1988}
0547
0548 @book {Paulson:92,
0549 AUTHOR = "L.C. Paulson",
0550 TITLE = "ML for the Working Programmer",
0551 PUBLISHER = "Cambridge University Press",
0552 YEAR = 1992}
0553
0554 @book {Peyton-Jones:87,
0555 AUTHOR = "S. L. PeytonJones",
0556 TITLE = "The Implementation of Functional Languages",
0557 PUBLISHER = "Prentice Hall",
0558 YEAR = 1987}
0559
0560 @incollection{Phillips:92,
0561 AUTHOR = "I.C.C. Phillips",
0562 TITLE = "Recursion Theory",
0563 YEAR = 1992,
0564 PAGES = 79,
0565 EDITOR = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
0566 BOOKTITLE = "Handbook of Logic in Computer Science",
0567 PUBLISHER = "Clarendon Press",
0568 VOLUME = 1}
0569
0570 @book {Pierce:91,
0571 AUTHOR = "B.C. Pierce",
0572 TITLE = "Basic Category Theory for Computer Scientists",
0573 PUBLISHER = "MIT Press",
0574 YEAR = 1991}
0575
0576 @incollection{Poigne:92,
0577 AUTHOR = "A. Poigne",
0578 TITLE = "Basic Category Theory",
0579 YEAR = 1992,
0580 PAGES = 413,
0581 EDITOR = "S. Abramsky, D.M. Gabbay and T.S.E. Maibaum",
0582 BOOKTITLE = "Handbook of Logic in Computer Science",
0583 PUBLISHER = "Clarendon Press",
0584 VOLUME = 1}
0585
0586 @book{Quine:71,
0587 AUTHOR = "W.V.O. Quine",
0588 TITLE = "Algebraic Logic and Predicate Functors",
0589 PUBLISHER = "Bobs-Merrill",
0590 YEAR = 1971}
0591
0592 @incollection{Quine:37,
0593 AUTHOR = "W.V.O. Quine",
0594 TITLE = "Logic based on inclusion and abstraction
0595 (originally published 1937)",
0596 YEAR = 1995,
0597 BOOKTITLE = "Selected logic papers",
0598 PUBLISHER = "Harvard University Press"}
0599
0600 @inproceedings {Ramsdell:86,
0601 AUTHOR = "J.D. Ramsdell",
0602 TITLE = "The {CURRY} chip",
0603 YEAR = 1986,
0604 PAGES = 122,
0605 BOOKTITLE = "1986 ACM Conference on Lisp and Functional Programming"}
0606
0607 @article {Raoult-Sethi:83,
0608 AUTHOR = "Raoult, J.-C. and Sethi, R.",
0609 TITLE = "Properties of a notation for combining functions",
0610 JOURNAL = "J. Assoc. for Computing Machinery",
0611 YEAR = 1983,
0612 VOLUME = 30,
0613 PAGES = 595}
0614
0615 @book{Reade:89,
0616 AUTHOR = "C. Reade",
0617 TITLE = "Elements of Functional Programming",
0618 PUBLISHER = "Addison Wesley",
0619 YEAR = 1989}
0620
0621 @book{Revesz:88,
0622 AUTHOR = "G. E. Revesz",
0623 TITLE = "Lambda Calculus, Combinators and Functional Programming",
0624 PUBLISHER = "Cambridge University Press",
0625 YEAR = 1988}
0626
0627 @book {Reynolds:81,
0628 AUTHOR = "J.C. Reynolds",
0629 TITLE = "The Craft of Programming",
0630 PUBLISHER = "Prentice Hall",
0631 YEAR = 1981}
0632
0633 @incollection {Robinson:69,
0634 AUTHOR = "J.A. Robinson",
0635 TITLE = "A Note on Mechanizing Higher Order Logic",
0636 YEAR = 1969,
0637 EDITOR = "B. Meltzer and D. Michie",
0638 BOOKTITLE = "Machine Intelligence 5",
0639 PUBLISHER = "Edinburgh University Press",
0640 PAGES = 123}
0641
0642 @book {Rogers:67,
0643 AUTHOR = "H. Rogers",
0644 TITLE = "Theory of Recursive Functions and Effective Computability",
0645 PUBLISHER = "McGraw-Hill",
0646 YEAR = 1967}
0647
0648 @incollection{Rydeheard:85,
0649 AUTHOR = "D. E. Rydeheard",
0650 TITLE = "Functors and natural transformations",
0651 YEAR = 1985,
0652 EDITOR = "D. Pitt and S. Abramsky and A. Poigne and D. Rydeheard",
0653 BOOKTITLE = "Category Theory and Computer Programming",
0654 PUBLISHER = "Springer: LNCS vol. 240",
0655 PAGES = 43}
0656
0657 @book {Salomaa:85,
0658 AUTHOR = "Salomaa, A.",
0659 TITLE = "Computation and Automata",
0660 PUBLISHER = "Cambridge University Press",
0661 YEAR = 1985}
0662
0663 @book {Salman-etal:84,
0664 AUTHOR = "W.P. Salman and O.Tisserand and B. Toulot",
0665 TITLE = "Forth",
0666 PUBLISHER = "MacMillan",
0667 YEAR = 1984}
0668
0669 @incollection {Schoenfinkel:24,
0670 AUTHOR = "M. {Sch\"{o}nfinkel}",
0671 TITLE = "On the building blocks of mathematical logic",
0672 YEAR = 1967,
0673 BOOKTITLE = "From Frege to {G\"{o}del}",
0674 EDITOR = "J. van Heijenoort",
0675 PUBLISHER = "Harvard University Press",
0676 NOTE = "English Translation from the German original.
0677 Includes foreword by W.V.O. Quine",
0678 PAGES = 357}
0679
0680 @inproceedings {Sheeran:84,
0681 AUTHOR = "M. Sheeran",
0682 TITLE = "{muFP}, a language for {VLSI} design",
0683 YEAR = 1984,
0684 PAGES = 104,
0685 BOOKTITLE = "1984 ACM Symposium on Lisp and Functional Programming"}
0686
0687 @book {Schmidt:86,
0688 AUTHOR = "D.A. Schmidt",
0689 TITLE = "Denotational Semantics",
0690 PUBLISHER = "Allyn and Bacon (Boston)",
0691 YEAR = 1986},
0692
0693 @incollection{Schmitt:87,
0694 AUTHOR = "P.H. Schmitt",
0695 TITLE = "A Survey of Rewrite Systems",
0696 YEAR = 1987,
0697 EDITOR = "E. {B\"{o}rger} and H. Kleine {B\"{u}ning} and M.M. Richter",
0698 BOOKTITLE = "CSL '87",
0699 PUBLISHER = "Springer: LNCS vol. 329",
0700 PAGES = 235}
0701
0702 @incollection {Spivey:89,
0703 AUTHOR = "Spivey, M.",
0704 TITLE = "A Categorical Approach to the Theory of Lists",
0705 YEAR = 1989,
0706 EDITOR = "J.L.A. {van de Snepscheut}",
0707 BOOKTITLE = "Mathematics of Program Construction",
0708 PUBLISHER = "Springer: LNCS vol. 375",
0709 PAGES = 375}
0710
0711 @book {Stoy:77,
0712 AUTHOR = "J. Stoy",
0713 TITLE = "Denotational Semantics, the Scott-Strachey Approach to
0714 Programming Language Theory",
0715 PUBLISHER = "MIT Press",
0716 YEAR = 1977}
0717
0718 @book{Smullyan:61,
0719 AUTHOR = "R.M. Smullyan",
0720 TITLE = "Theory of Formal Systems",
0721 PUBLISHER = "Princeton University Press",
0722 YEAR = 1961}
0723
0724 @book{Smullyan:90,
0725 AUTHOR = "R.M. Smullyan",
0726 TITLE = "To Mock a Mockingbird",
0727 PUBLISHER = "Oxford University Press",
0728 YEAR = 1990}
0729
0730 @book {Smullyan:94,
0731 AUTHOR = "R.M. Smullyan",
0732 TITLE = "Diagonalisation and Self-reference",
0733 PUBLISHER = "Clarendon Press",
0734 YEAR = 1994}
0735
0736 @book {Sokolowski:91,
0737 AUTHOR = "S. Sokolowski",
0738 TITLE = "Applicative Higher Order Programming: the Standard ML Perspective",
0739 PUBLISHER = "Chapman and Hall",
0740 YEAR = 1991}
0741
0742 @article {Tennent:76,
0743 AUTHOR = "R.D. Tennent",
0744 TITLE = "The Denotational Semantics of Programming Languages",
0745 JOURNAL = "Communications of the ACM",
0746 YEAR = 1976,
0747 VOLUME = 19,
0748 PAGES = 437}
0749
0750 @book {Tennent:91,
0751 AUTHOR = "R.D. Tennent",
0752 TITLE = "Semantics of Programming Languages",
0753 PUBLISHER = "Prentice Hall",
0754 YEAR = 1991}
0755
0756 @book {Thompson:91,
0757 AUTHOR = "S. Thompson",
0758 TITLE = "Type Theory and Functional Programming",
0759 PUBLISHER = "Addison Wesley",
0760 YEAR = 1991}
0761
0762 @book {Thompson:95,
0763 AUTHOR = "S. Thompson",
0764 TITLE = "Miranda: The Craft of Functional Programming",
0765 PUBLISHER = "Addison Wesley",
0766 YEAR = 1995}
0767
0768 @article {Turner:79,
0769 AUTHOR = "D.A. Turner",
0770 TITLE = "A New Implementation Technique for Applicative Languages",
0771 JOURNAL = "Software --- Practice and Experience",
0772 VOLUME = 9,
0773 YEAR = 1979,
0774 PAGES = 31}
0775
0776 @incollection {Turner:90,
0777 AUTHOR = "D.A. Turner",
0778 TITLE = "An overview of {Miranda}",
0779 YEAR = 1990,
0780 EDITOR = "D.A. Turner",
0781 BOOKTITLE = "Research Topics in Functional Programming",
0782 PUBLISHER = "Addison Wesley",
0783 PAGES = 1}
0784
0785 @inproceedings {Wadler:92,
0786 AUTHOR = "Wadler, P.",
0787 TITLE = "The Essence of Functional Programming",
0788 BOOKTITLE = "19th Annual Symposium on
0789 Principles of Programming Languages, Albuquerque",
0790 YEAR = 1992}
0791
0792 @incollection{Wald:93,
0793 AUTHOR = "B. Wald",
0794 TITLE = "A Theory of Unary Pairfunctions",
0795 YEAR = 1993,
0796 EDITOR = "M. Droste and Y. Gurevich",
0797 BOOKTITLE = "Semantics of Programming Languages and Model Theory",
0798 PUBLISHER = "Gordon and Breach Science Publishers",
0799 PAGES = 287}
0800
0801 @book {Walters:91,
0802 AUTHOR = "R.F.C. Walters",
0803 TITLE = "Categories and Computer Science",
0804 PUBLISHER = "Cambridge University Press",
0805 YEAR = 1991}
0806
0807 @incollection {Williams:82,
0808 AUTHOR = "J.H. Williams",
0809 TITLE = "Notes on the {FP} style of programming",
0810 YEAR = 1982,
0811 EDITOR = "J. Darlington and P. Henderson and D.A. Turner",
0812 BOOKTITLE = "Functional Programming and its Applications",
0813 PUBLISHER = "Cambridge University Press",
0814 PAGES = 73}
0815
0816 @book {Winskel:93,
0817 AUTHOR = "G. Winskel",
0818 TITLE = "The Formal Semantics of Programming Languages",
0819 PUBLISHER = "MIT Press",
0820 YEAR = 1993}
0821
0822