Unifying Structured Recursion Schemes by Hinze, R, Wu, N, Gibbons, J

“…The proof of this claim involves standard constructions in category theory that are nevertheless not well known in functional programming: Eilenberg-Moore categories and bialgebras.…”

Higher-order quantum transformations of Hamiltonian dynamics by Tatsuki Odake, Hlér Kristjánsson, Akihito Soeda, Mio Murao

“…This algorithm is an instance of quantum functional programming, where the desired function is specified as a concatenation of higher-order quantum transformations. …”
Get full text

Sprego Programming by Maria Csernoch, Piroska Biró

“…Sprego is a simplified functional programming language in spreadsheet environment, and such as can be used both as introductory language and the language of end-user programmers. …”
Get full text

Amorphous Infrastructure for Language Implementation by Newton, Ryan, Beal, Jacob

“…This infrastructure is applied to the implementationof purely functional programming languages. Specifically, it is usedin conjunction with data-flow techniques to implement a toy language homologousto recurrence equations, exploiting control-flow parallelism through paralleloperand evaluation. …”
Get full text

ACTORS: A Model of Concurrent Computation in Distributed Systems by Agha, Gul Abdulnabi

“…Unlike dataflow and functional programming, however, actors are dynamically reconfigurable and can model shared resources with changing local state. …”
Get full text

A Virtual Machine for a Type-omega Denotational Proof Language by III, Teodoro Arvizo

“…The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.…”
Get full text

Design, build and test of ejector based multi-evaporator refrigeration system by Hu, Yu

“…The system is introduced from architecture to detailed functional programming. Experiments have been done on the experimental platform to compare the energy consumption of these two systems. …”
Get full text

Unifying Structured Recursion Schemes by Hinze, R, Wu, N, Gibbons, J

“…The proof of this claim involves standard constructions in category theory that are nevertheless not well known in functional programming: Eilenberg-Moore categories and bialgebras. …”

Functional Pearl: Explaining binomial heaps by Hinze, R

“…Functional programming languages are an excellent tool for teaching algorithms and data structures. …”

Classical control and quantum circuits in enriched category theory by Rennela, M, Staton, S

“…We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. …”

Sorting with Bialgebras and Distributive Laws by Hinze, R, James, D, Harper, T, Wu, N, Magalhães, J

“…Sorting algorithms are an intrinsic part of functional programming folklore because they exemplify algorithm design using folds and unfolds. …”

Sorting with bialgebras and distributive laws by Hinze, R, James, D, Harper, T, Wu, N, aes, J

“…Sorting algorithms are an intrinsic part of functional programming folklore as they exemplify algorithm design using folds and unfolds. …”

Android Application Development ALL-IN-ONE : for dummies / by Burd, Barry, author 453488, Mueller, John Paul, 1958-, author 624603

“…This friendly, easy-to-follow book kicks off by offering a fundamental understanding of Android's major technical ideas, including functional programming techniques. It moves on to show you how to work effectively in Studio, program cool new features, and test your app to make sure it's ready to release to a waiting world. …”

Initial Algebra Semantics for Cyclic Sharing Tree Structures by Makoto Hamana

“…Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and structural recursion. …”
Get full text

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory by Mathys Rennela, Sam Staton

“…We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. …”
Get full text

Sprego Programming by Maria Csernoch, Piroska Biró

“…Sprego is a simplified functional programming language in spreadsheet environment, and such as can be used both as introductory language and the language of end-user programmers. …”
Get full text

Experience Report: A Haskell interpreter for CellML by Cooper, J, McKeever, S

“…In this paper we present our use of functional programming (FP), specifically Haskell, to provide an operational semantics for a domain-specific language, CellML, that describes mathematical models of biological processes. …”

Classical control, quantum circuits and linear logic in enriched category theory by Rennela, M, Staton, S

“…We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. …”

Be Kind‚ Rewind: A Modest Proposal about Traversal by Gibbons, J, Bird, R

“…A recent paper by Graham Hutton and Diana Fulger (\"Reasoning about Effects: Seeing the Wood through the Trees\", in the preproceedings of Trends in Functional Programming 2008) addresses the problem of reasoning about effectful functional programs, introducing a relabelling function on binary trees as a representative illustration. …”

Coalgebraic aspects of bidirectional computation by Abou-Saleh, F, McKinna, J, Gibbons, J

“…We have previously (Bx, 2014; MPC, 2015) shown that several statebased bx formalisms can be captured using monadic functional programming, using the state monad together with possibly other monadic effects, giving rise to structures we have called monadic bx (mbx). …”