The book has thirteen chapters:

<ul>

<li><strong>Chapter 1: Getting started.</strong>
The basic concepts of F#, including values, types and recursive functions, are
introduced in a manner that allows readers to solve interesting problems from the start.<br>
<br>
<li><strong>Chapter 2: Values, operators, expressions and functions.</strong> A thorough introduction to the basic types F# is given, together with a gently
introduction to the notion of higher-order functions.<br>
<br>
<li><strong>Chapter 3: Tuples, records and tagged values.</strong> The simplest composite types of F#: tuples and records, are introduced. They allow several values to be grouped together into one component. Furthermore, tagged
values are introduced.<br>
<br>
<li><strong>Chapter 4: Lists.</strong> A list is a finite sequence of values with the same type. Standard recursions on
lists are studied and examples illustrating a model-based approach to functional programming
is given.<br>
<br>
<li><strong>Chapter 5: Collections: Lists, maps and sets.</strong> The concepts of sets and maps are introduced and the powerful F# collection
libraries for lists, sets and maps are studied and applied in connection with a model-based
approach.<br>
<br>
<li><strong>Chapter 6: Finite trees.</strong> The concept of finite tree is introduced and illustrated through a broad selections
of examples.<br>
<br>
<li><strong>Chapter 7: Modules.</strong> It is shown how the user can make own libraries by means of modules consisting
of signature and implementation files. Furthermore, object-oriented features of F# are
mentioned.<br>
<br>
<li><strong>Chapter 8: Imperative features.</strong> Imperative features of F# are introduced, including the array part of the collection
library and the imperative sets and maps from the .NET framework.<br>
<br>
<li><strong>Chapter 9: Efficiency.</strong> The memory management concepts: stack, heap and garbage collection are
described. Tail-recursive functions are introduced and two techniques for deriving such
functions are presented: one using accumulating parameters, the other continuations.
Their efficiency advantages are illustrated.<br>
<br>
<li><strong>Chapter 10: Text processing programs.</strong> A variety of facilities for processing text are introduced, including regular
expressions, file operations, web-based operations and culture-dependent string ordering.
The facilities are illustrated using a real-world example.<br>
<br>
<li><strong>Chapter 11: Sequences.</strong> A sequence is a, possibly infinite, collection of elements that are computed
on-demand only. Sequence functions are expressed using library functions or sequence
expressions that provide a step-by-step method for generating elements. Database tables
are viewed as sequences (using a type provider) and operations on databases are expressed
using query expressions.<br>
<br>
<strong>Chapter 12: Computation expressions.</strong> The notion of computation expression, which is based on the theory of
monads, is studied and used to hide low-level details of a computation from its definition.
Monadic parsing is used as major example to illustrate the techniques.<br>
<br>
<li><strong>Chapter 13: Asynchronous and parallel computations.</strong> This last chapter describes how to construct asynchronous reactive programs,
spending most of their time awaiting a request or a response from an external agent, and
parallel programs, exploiting the multi-core processor of the computer.

</ul>