M. Abadi/L. Cardelli: A theory of objects. Springer 1996. Andrea Asperti: A categorical understanding fo environment machines. J. Funct. Programming 2 (1992), ... Andrea Asperti/S. Guerrini: The optimal implementation of functional programming languages. Cambridge UP 1998. J. Backus: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Comm. ACM 21 (1978), 613-641. Richard Bird: Introduction to functional programming using Haskell. Prentice Hall 1998. D. Cann: Retire FORTRAN? A debate rekindled. Comm. ACM 35/8 (1992), 81-89. Functional languages can be faster than Fortran. Guy Cousineau/Michel Mauny: The functional approach to programming. Cambridge UP 1998, 500p. Eur 45. 13582 Mark-Jason Dominus: Pure untyped lambda-calculus and popular programming languages. J. Funct. Progr. January 1999, 1-7. 13015 Martin Erwig: Grundlagen funktionaler Programmierung. Oldenbourg 1999, 190p. DM 48. Elfriede Fehr: Funktionale Programmierung. Ein Einstieg in die Informatik. Vieweg 1994. 170 p. 3-528-05144-2. DM 30. 13026 Anthony Field/Peter Harrison: Functional programming. Addison-Wesley 1988. 13100 Robert Giegerich/Ralf Hinze/Stefan Kurtz: Straight to the heart of computer science via functional programming. Internet ca. 2000, 6p. 13034 Hugh Glaser/Peter Henderson: Functional programming and software engineering. Internet 1995, 11p. P. Glaser/C. Hankin/D. Till: Principles of functional programming. Prentice Hall 1984. Ju''rgen Wolff von Gudenberg: Algorithmen, Datenstrukturen, funktionale Programmierung. Eine praktische Einfu''hrung mit Caml Light. Oldenbourg 1996, 350p. DM 48. Carl Gunter: Semantics of programming languages. MIT Press 1992, 440p. DM 82. C. Hall/J. O'Donnell: Discrete mathematics using a computer. Springer 2000, 360p. DM 59. 13311 Pieter Hartel/Henk Muller: Functional C. Addison-Wesley 1997, 400p. DM 82. This is a very beautiful book. The title is somewhat misleading, it is about teaching imperative programming using C as a second language to students who had a functional language as the first programming language. But the algorithms start from a functional way of thinking and the authors give a very transparent presentation of the differences between C and functional programming and how their paradigms can be combined, for example in the chapter on lists, where append, filter and map are programmed in C. The book is exceptionally clear, on a good and interesting level and didactically I think very efficient, and nice and comfortable to read. Good appendices (a brief review of SML and the C standard libraries) and many interesting examples. 17446 Pieter Hartel/Henk Muller/Hugh Glaser: The functional C experience. J. Functional Progr. 14/2 (2004), 129-135. Pieter Hartel/Rinus Plasmeijer (ed.): Special issue on state-of-the-art applications of pure functional programming languages. J. Funct. Programming 5/3 (1995). Pieter Hartel/Rinus Plasmeijer (ed.): Functional programming languages in education. 1995. Ralf Hinze: Einführung in die funktionale Programmierung mit Miranda. Teubner 1991. Paul Hudak: Conceptions, evolution, and application of functional programming languages. ACM Comp. Surveys 21 (1989), 359-411. 13094 John Hughes: Why functional programming matters. Internet ca. 1992, 18p. 27426 Patrick Krusenotto: Funktionale Programmierung und Metaprogrammierung - Interaktiv in Common Lisp. Springer 2016, 410p. Eur 30 (Ebuch). Greg Michaelson/Phil Trinder/Hans-Wolfgang Loidl (ed.): Trends in functional programming. 2000. 1-84150-024-0. $50. J. Mitchell: Type inference with simple subtypes. J. Funct. Programming 1 (1991), 245-286. John Mitchell: Foundations for programming languages. MIT Press 1996, 870p. DM 192. C. Okasaki: Purely functional data structures. Cambridge UP 1998. Lawrence Paulson: ML for the working programmer. Cambridge UP 1991. 12913 Peter Pepper: Funktionale Programmierung. Springer 1998, 270p. 3-540-64541-1. DM 50. Hermann Puhlmann: Funktionales Programmieren. Eine organische Verbindung von Informatikunterricht und Mathematik. Login 1998/2, 46-59. Hermann Puhlmann: Funktionales Programmieren. Mathematisches Denken zur Lo''sung informatischer Probleme. Beitr. zum Mathematikunterricht 1998, 503-506. Verlag Franzbecker. F. Rabhi/G. Lapalme: Algorithms - a functional programming approach. Addison-Wesley. C. Reade: Elements of functional programming. Addison-Wesley 1989. Colin Runciman/David Wakeling (ed.): Applications of functional programming. UCL 1995. 1-85728-377-5. 13022 Andre Scedrov: A guide to polymorphic types. In 4917 Odifreddi, 111-150. S. Sokolowski: Applicative high order programming - the ML perspective. Chapman & Hall 1991. 19482 Antoine Spicher/Olivier Michel: Representation et manipulation de structures topologiques dans un langage fonctionnel. Internet 2005, 26p. 12912 Peter Thiemann: Grundlagen der funktionalen Programmierung. Teubner 1994. 12131 Philip Wadler: Comprehending monads. Internet ca. 1993, 38p. 12130 Philip Wadler: The marriage of effects and monads. Internet ca. 1997, 12p. 13131 Philip Wadler: An angry half dozen. AGM Sigplan Notices 33/2 (1998), 25-30. 13130 Philip Wadler: Why no one uses functional languages. ACM Sigplan Notices, ca. 1999, ... Andreas Werner: Untersuchung von Strategien fu''r das logisch-funktionale Programmieren. Shaker 1998, 390p. DM 109. Ake Wikstroem: Functional programming using Standard ML. Prentice-Hall 1987, 450p. 0-13-331661-0 (pb). Should be very good.