Search Results - "functions programming"

Trends in functional programming. Vol. 5

Subjects: “…Functional programming (Computer science) Congresses.…”
Full text (MFA users only)

Trends in Functional Programming. by Van Eekelen, Marko

Subjects: “…Functional programming (Computer science)…”
Full text (MFA users only)

Trends in Functional Programming. by Nilsson, Henrik

Table of Contents: “…Front Cover; Preliminary Pages; Contents; Preface; Proving Termination Using Dependent Types: The Case of Xor-Terms; Proving the Correctness of Algorithmic Debugging for Functional Programs; Systematic Synthesis of Functions; A Purely Functional Implementation of ROBDDs in Haskell; Efficient Interpretation by Transforming Data Types and Patterns to Functions; Object-Oriented Programming in Dependent Type Theory; A Sharing Analysis for SAFE; Memory Usage Improvement Using Runtime Alias Detection; A Model of Functional Programming with Dynamic Compilation and Optimization.…”
Full text (MFA users only)

Functional programming in C♯ : classic programming techniques for modern projects / by Sturm, Oliver

Table of Contents: “…Cover; Contents; Title; Copyright; About the Author; Credits; Introduction; Part I : Introduction to Functional Programming; Chapter 1 : A Look at Functional Programming History; What Is Functional Programming?…”
Full text (MFA users only)

Trends in Functional Programming 10. by Horvath, Zoltan

Subjects: “…Functional programming (Computer science)…”
Full text (MFA users only)

Trends in Functional Programming 4. by Gilmore, Stephen

Table of Contents: “…Contents; Preface; Chapter 1 Is It Time for Real-Time Functional Programming?; Chapter 2 Fsm-Hume is Finite State; Chapter 3 Camelot and Grail: Resource-Aware Functional Programming for the Jvm; Chapter 4 O'camelot: Adding Objects to a Resource-Aware Functional Language; Chapter 5 Static Single Information from a Functional Perspective; Chapter 6 Implementing Mobile Haskell; Chapter 7 Testing Scheme Programming Assignments Automatically; Chapter 8 Testing Reactive Systems with Gast.…”
Full text (MFA users only)

Functional Programming Using F♯ by Hansen, Michael R.

Subjects: “…Functional programming (Computer science)…”
Full text (MFA users only)

Hands-On Functional Programming in Rust : Build modular and reactive applications with functional programming techniques in Rust 2018. by Johnson, Andrew

Table of Contents: “…Cover; Title Page; Copyright and Credits; Packt Upsell; Contributors; Table of Contents; Preface; Chapter 1: Functional Programming -- a Comparison; Technical requirements; Reducing code weight and complexity; Making generics more generic; Functions as values; Iterators; Compact legible expressions; Strict abstraction means safe abstraction; Scoped data binding; Algebraic datatypes; Mixing object-oriented programming and functional programming; Improving project architecture; File hierarchy, modules, and namespace design; Functional design patterns; Metaprogramming; Summary; Questions.…”
Full text (MFA users only)

Verified Functional Programming in Agda. by Stump, Aaron

Table of Contents: “…Intro -- Contents -- Preface -- 1. Functional Programming with the Booleans -- 2. Introduction to Constructive Proof -- 3. …”
Full text (MFA users only)

ReasonML Quick Start Guide : Build Fast and Type-Safe React Applications That Leverage the JavaScript and OCaml Ecosystems. by Rafatpanah, Raphael

Subjects: “…Functional programming.…”
Full text (MFA users only)

Initiation a la Programmation de l'analyse Numerique by Jean-Baptiste, Gérald

Subjects: “…Functional programming (Computer science)…”
Full text (MFA users only)

Theory of computation by Tourlakis, George J.

Subjects: “…Functional programming languages.…”
Full text (MFA users only)

Haskell High Performance Programming. by Thomasson, Samuli

Subjects: “…Functional programming (Computer science)…”
Full text (MFA users only)

The book of F♯ : breaking free with managed functional programming / by Fancher, Dave

Full text (MFA users only)

The Clojure workshop : a new, interactive approach to learning Clojure by Fahey, Joseph

Subjects: “…Functional programming languages.…”
Full text (MFA users only)

Mastering Elixir : build and scale concurrent, distributed, and fault-tolerant applications by Albuquerque, André, Caixinha, Daniel

Table of Contents: “…Cover; Title Page; Copyright and Credits; Dedication; Packt Upsell; Contributors; Table of Contents; Preface; Chapter 1: Preparing for the Journey Ahead; Why functional programming?; Elixir and Erlang; Elixir's data types; Integers; Floats; Atoms; Booleans; Tuples; Lists; Maps; Binaries; Strings and charlists; Other types; Keyword lists; Ranges; MapSets; Pattern matching; Pattern matching on tuples; Pattern matching on lists; Pattern matching on maps; Pattern matching on binaries and strings; Functions and Modules; Anonymous functions; Modules and Named Functions…”
Full text (MFA users only)

Learning concurrency in Kotlin : build highly efficient and robust applications by Castiblanco Torres, Miguel Angel

Subjects: “…Functional programming (Computer science)…”
Full text (MFA users only)

Professional Scala : Combine Object-Oriented and Functional Programming to Build High-performance Applications. by Hartmann, Mads

Full text (MFA users only)

Phoenix Web Development : Create rich web applications using functional programming techniques with Phoenix and Elixir. by Voloz, Mike

Full text (MFA users only)

Functional Python programming : discover the power of functional programming, generator functions, lazy evaluation, the built-in itertools library, and monads / by Lott, Steven F.

Table of Contents: “…Cover -- Copyright and Credits -- Packt Upsell -- Contributors -- Table of Contents -- Preface -- Chapter 1: Understanding Functional Programming -- Identifying a paradigm -- Subdividing the procedural paradigm -- Using the functional paradigm -- Using a functional hybrid -- Looking at object creation -- The stack of turtles -- A classic example of functional programming -- Exploratory data analysis -- Summary -- Chapter 2: Introducing Essential Functional Concepts -- First-class functions -- Pure functions -- Higher-order functions -- Immutable data -- Strict and non-strict evaluation -- Recursion instead of an explicit loop state -- Functional type systems -- Familiar territory -- Learning some advanced concepts -- Summary -- Chapter 3: Functions, Iterators, and Generators -- Writing pure functions -- Functions as first-class objects -- Using strings -- Using tuples and named tuples -- Using generator expressions -- Exploring the limitations of generators -- Combining generator expressions -- Cleaning raw data with generator functions -- Using lists, dicts, and sets -- Using stateful mappings -- Using the bisect module to create a mapping -- Using stateful sets -- Summary -- Chapter 4: Working with Collections -- An overview of function varieties -- Working with iterables -- Parsing an XML file -- Parsing a file at a higher level -- Pairing up items from a sequence -- Using the iter() function explicitly -- Extending a simple loop -- Applying generator expressions to scalar functions -- Using any() and all() as reductions -- Using len() and sum() -- Using sums and counts for statistics -- Using zip() to structure and flatten sequences -- Unzipping a zipped sequence -- Flattening sequences -- Structuring flat sequences -- Structuring flat sequences -- an alternative approach -- Using reversed() to change the order.…”
Full text (MFA users only)