functional programming

Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings (Lecture Notes in Computer Science)

Enrico Pontelli

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings (Lecture Notes in Computer Science)

Masami Hagiya, Philip Wadler

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Lecture Notes in Computer Science)

International Static Analysis Symposium (3rd 1996 Aachen, Germany)

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures (Lecture Notes in Computer Science)

Simon Peyton Jones, Johan Jeuring

Central European Functional Programming School: First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures (Lecture Notes in Computer Science)

Zoltán Horváth

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

Jan van Eijck, Kees Doets

Implementation and application of functional languages: 18th international symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006 ; revised selected papers

Zoltan Horvath, Viktoria Zsok, Andrew Butterfield (eds.).

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

Patricia M. Hill

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)

Alberto Pettorossi

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science)

Michael Hanus