Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.

Functional programming (Computer science) --- F (Computer program language) --- Programming languages (Electronic computers) --- Computer programming --- F♯ (Computer program language) --- F-Sharp (Computer program language) --- Functional programming languages --- Object-oriented programming languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.

Computer science. --- Software engineering. --- Logic design. --- Computer Science. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Information Systems Applications (incl. Internet). --- Engineering & Applied Sciences --- Computer Science --- Design, Logic --- Design of logic systems --- Computer software engineering --- Informatics --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Functional programming languages --- Engineering --- Science --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Compilers (Computer programs). --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Computer and Information Systems Applications. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software