- CCSP
- General
- United States
- Denmark
- Buehrens, John A.
- Iverson, Allen
- History
- Nutrition
- Earth Sciences
- Sadie Rose
- Warriors: The New Prophecy
- General
- General
- ( V )
- Semiconductor Physics
- Developmental Biology
- Silke, James
- Fisher, Dorothy Canfield
- General
- Molecular Biology
- Decorative Arts
- Party Games
- Sierra Leone
- Science Fiction & Fantasy
- Springer, Nancy
- Emergency
- Americana
- Test Preparation
- English (American)
- ( U )
- Some of our other sites:
- Books
- Clothing, Shoes and Accessories
- Baby Clothes and Accessories
- Cosmetics, Beauty Products and Fragrances
- Cellphones, Call Plans and Accessories
- Video Games
- DVDs
- Electronics, Gadgets and Computers
- Health and Personal Care
- Home and Garden
- Home DIY
- Jewelry
- Magazines and Newspapers
- Music Downloads
- Musical Instruments
- Office Equipment and Supplies
- Software and Games
- Sporting Goods
- Toys and Games
- Watches
- UK Books
- UK Video Games
- UK Home and Garden
- UK Electronics, Gadgets and Computers
- UK Baby Clothes and Accessories
- UK Software and Games
- UK Sporting Goods
- UK Toys and Games
Books : Computers & Internet : Programming : Functional
-
Expert F# is about practical programming in a beautiful language that puts the power and elegance of functional programming into the hands of .NET developers. In combination with .NET, F# achieves unrivaled levels of programmer productivity and program clarity. This books serves as
- The authoritative guide to F# by the designer of F#
- A comprehensive reference of F# concepts, syntax, and features
- A treasury of expert F# techniques for practical, real–world programming
While inspired by OCaml, F# isn't just another functional programming language. Drawing on many of the strengths of both OCaml and .NET, it's a general–purpose language ideal for real–world development. F# integrates functional, imperative, and object–oriented programming styles so you can flexibly and elegantly solve programming problems, and brings .NET development alive with interactive execution. Whatever your background, you'll find that F# is easy to learn, fun to use, and extraordinarily powerful. F# will help change the way you think about and go about programming.
Written by F#'s designer and two active contributors, Expert F# is the authoritative, comprehensive, and in-depth guide to the language and its use. Designed to help others become experts, the book gives a thorough introduction to the F# language from quick essentials to in-depth advanced topics such as active pattern matching, aggregate data types and operators, sequence expressions, lazy values, mutable data and side–effects, generics, type augmentations, functional decomposition and code organization.
The second half of the book is devoted to examining the practical application of F#, providing elegant solutions to common programming tasks including UI implementation, data access, web and distributed programming, symbolic and numerical computations, concurrent programming, testing, profiling, and interoperability with other languages. The latest hot developments in F# and .NET are also addressed, including Active Patterns, implicit class construction, integration with LINQ over relational data, meta programming and useful tips for working with Visual Studio and F# command–line tools.
The worlds foremost experts in F# show you how to program in F# the way they do!
What you’ll learn
- How to use F# for functional, imperative, and object–oriented programming
- How to code elegant F# solutions with expert technique and style
- How to develop Windows, web, graphics, and database applications in F#
- How to do numerical, concurrent, lexical, and symbolic processing in F#
- How to interoperate with C and COM
Who is this book for?
This book is for anyone interested in state–of–the art .NET programming. Professional programmers will find it engrossing. F# provides invaluable insight into the future of both C# and VB, which are now adopting some (but far from all) of the functional features of F#. Once they learn F#, few feel like returning to either C# or VB. The academic community will find F# the answer to a decades–long prayer: a language suitable for teaching computer science that also excites and empowers students because it can be used not just in the classroom, but also in the real world.
-
Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.
-
Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clarity. This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular purely functional language. Rather than using the conventional (boring) mathematical examples commonly found in other programming language textbooks, the author uses examples drawn from multimedia applications, including graphics, animation, and computer music, thus rewarding the reader with working programs for inherently more interesting applications. Aimed at both beginning and advanced programmers, this tutorial begins with a gentle introduction to functional programming and moves rapidly on to more advanced topics. Details about progamming in Haskell are presented in boxes throughout the text so they can be easily found and referred to.
-
The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, as well as advice an program design, testing, problem solving and how to avoid common pitfalls.Building on the strengths of the first edition, the book includes many new and improved features:
Complete coverage of Haskell 98, the standard version of Haskell which will be stable and supported by implementations for years to come.
An emphasis on software engineering principles, encouraging a disciplined approach to building reusable libraries of software components.
Detailed coverage of the Hugs interpreter with an appendix covering other implementations.
A running case study of pictures emphasizes the built-in functions which appear in the standard prelude and libraries. It is also used to give an early preview of some of the more complex language features, such as high-order functions.
List comprehensions and the standard functions over lists are covered before recursion.
Early coverage of polymorphism supporting the "toolkit" approach and encouraging the resuse of built-in functions and types.
Extensive reference material containing details of further reading in books, journals and on the World Wide Web.
Accompanying Web Site supporting the book, containing all the program code, further teaching materials and other useful resources.
-
-
The design of algorithms for problem-solving lies at the heart of computer science. Concise yet authoritative, Algorithms: A Functional Programming Approach teaches the skills needed to master this essential subject. The authors challenge more traditional methods of teaching algorithms by using a functional programming context, with Haskell as the implementation language. This leads to smaller, clearer and more elegant programs which enable the programmer to understand the algorithm itself more quickly and to use that understanding to explore alternative solutions. Placing the emphasis on program development rather than the mathematical properties of algorithms, the book uses a succession of practical programming examples to develop in the reader problem-solving skills which can be easily transferred to other language paradigms. Key features of this innovative text include: Unmatched collection of functional programming algorithms A wealth of practical examples, bringing the algorithms into clear focusEnd of chapter exercises throughout Source code and selected solutions freely available online Comprehensive index and bibliographical notes Appendices on Haskell implementations and mathematical background For computer science students taking algorithms and/or functional programming courses, Algorithms: A Functional Programming Approach represents the ideal textbook. It is also an invaluable reference source of functional programs for practitioners.
-
This book is unique in showcasing real non-trivial applications of functional programming using the Haskell language. It presents state-of- the-art work from the flare project and will be an invaluable resource for advanced study, research and implementation.; The applications covered in the book range from workforce management and graphical design to computational fluid dynamics. The section on parallelism will be of particular significance as the relevance of functional programming to this domain begins to emerge as one of its most promising future directions. Any professional wishing to develop an application using Haskell will find this book a priceless reference and starting point.; "Applications of functional programming" should be on the shelf of all computer scientists with an interest in the development of declarative programming, and in particular, the implementation of Haskell. It will be accessible for those with only a foundational knowledge of functional programming as well as those at the cutting edge of the paradigm.; This book is intended for advanced undergraduates and graduates studying functional programming, researchers in applied functional programming and, in particular, those using the Haskell programming language.
-
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He also develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's "applicative bisimulation." Graduate students and researchers will gain much from reading this book.
-
This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996.
After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structured software.
-
This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998. The lectures presented are targeted at individual students and programming professionals as well as at small study groups and lecturers who wish to become acquainted with recent work in the rapidly developing area of functional programming.
The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Sorting Morphisms; Generic Programming: An Introduction; Generic Program Transformation; Designing and Implementing Combinator Languages; Using MetaML: A Staged Programming Language; Cayenne: A Language with Dependent Types; Haskell as an Automation Controller.
-
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
-
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
-
-
Discusses issues concerning functional programming, logic programming, and the integration of the two.
-
This book constitutes the refereed proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, held in Tsukuba, Japan, in November 1999.
The 23 revised full papers presented were carefully reviewed and selected from a total of 51 submissions. The papers are devoted to various current aspects of functional and logic programming as well as to the integration of these two paradigms. Among the topics addressed are typing, partial evaluation, program transformations, parsing, formal verification, program analysis, static analysis, narrowing, etc.
-
This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.
The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
-
This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002.
The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.
-
This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008.
The 20 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, logic and lambda-calculus, types, and debugging.
-
-
This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995.
The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages.