This is the first programming language concepts and compiler book based on the functional language F# Topics covered include language design, implementation and performance consequences for the mainstream object-orientated languages Java and C# Relates the C language and its compilation, both to an abstract stack machine and to real x86 hardware Exercises inside with full source code for examples and concepts permit experimentation