A Functional Pattern System for Object-Oriented DesignPromotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages.

17707

A Gentle Introduction to HaskellAn introduction to Haskell, a general purpose, purely functional programming language incorporating many recent innovations in programming language design.

19971

Applicative Programming and SpecificationAddresses the issues of combining the virtues of functional programming with the virtues of imperative programming. Uses both Standard ML and Extended ML language for the implementation.

Developing Applications With Objective CamlA comprehensive book on Objective Caml, covering not only the core language, but also modules, objects and classes, threads and systems programming, and interoperability with C.

Introduction to Functional ProgrammingShows the transition from imperative programming to functional programming. Introduces lambda calculus, how to add types to it, and how to use ML to implement basic functional programming, polymorphism, exceptions and imperative features.

16093

Introduction to Objective CamlThis book presents a practical introduction and guide to Objective Caml, with topics ranging from how to write a program to the concepts and conventions that affect how programs are developed in Objective Caml.

Programming in Standard MLThis book is an introduction to programming with the Standard ML, a formally defined programming language.

11430

Programming Languages: Application and InterpretationThis textbook shows students where programming languages come from, why they should regard languages as the ultimate form of abstraction, how to recognize such an evolving abstraction, and how to turn what they recognize into a language.

12184

Real World HaskellThis book shows the readers how to use functional programming and Haskell to solve realistic problems. This is a hands-on book: every chapter contains dozens of code samples, and many contain complete applications.

Type Systems for Programming LanguagesThese lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.

10675

Type Theory and Functional ProgrammingThis book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.