Functional Programming Languages and Computer Architecture.

The functional language Haskell restricts side effects with a static type system ; it uses the concept of monads to do stateful and IO computations .< ref > Imperative Functional Programming, Simon Peyton Jones and Phil Wadler, < em > Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages </ em >, pages 71 – 84, 1993 </ ref >

* Theoretical Foundations For Practical ' Totally Functional Programming ' ( Chapter 7 especially ) Doctoral dissertation tackling the problem of formalising what is an interpreter

Gordon's Ph. D. thesis, Functional Programming and Input / Output, won the 1993 Distinguished Dissertation Award of the British Computer Society.

Functional Programming.

Foundations of Functional Programming.

Pages 107-158 of Handbook of Programming Languages, Volume IV: Functional and Logic Programming Languages, ed.

In 1989, Chris Reade wrote a book titled " Elements of Functional Programming " that describes separation of concerns:

Type Theory and Functional Programming Addison – Wesley.

Type Theory and Functional Programming Addison-Wesley.

* Functional Programming, a programming paradigm.

Implementation Strategies for Continuations Proceedings of the 1988 ACM conference on LISP and Functional Programming, pp. 124 – 131, 1988.

* Simon Peyton Jones, The Implementation of Functional Programming Languages, Prentice Hall, 1987.

* Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming

* Bindings, Procedures, Functions, Functional Programming, and the Lambda Calculus

* Acar et al., Adaptive Functional Programming, POPL 2002

On bunched typing, Journal of Functional Programming, 13 ( 4 ), 747 – 796, 2003.

* Raymond L. Bates, David Dyer, Johannes A. G. M. Koomen " Implementation of Interlisp on the VAX " pp81 – 87 in ACM Proceedings of the 1982 ACM Conference on LISP and Functional Programming, Pittsburgh, Pennsylvania, United States

* Journal of Functional Programming, a scientific journal

Facebook developers made a presentation on the topic at Commercial Users of Functional Programming ( CUFP ) 2009 conference, and in November 2009 was detected as running a modified version of ejabberd.

* Functional Programming and its Applications, D. A. Turner, Cambridge University Press 1982.

* Elementary Strong Functional Programming, D. A. Turner, in R. Plasmeijer, P. Hartel, eds, " First International Symposium on Functional Programming Languages in Education ", Lecture Notes in Computer Science, volume 1022, pages 1 – 13, Springer-Verlag, 1996.

Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate function definition, function application, and recursion.

A Functional Style and its Algebra of Programs ".

Functional theories of grammar are those approaches to the study of language, that see the functions of language and its elements to be the key to understanding linguistic processes and structures.

Functional theories of language propose that since language is fundamentally a tool, it is reasonable to assume that its structures are best analyzed and understood with reference to the functions they carry out.

Functional grammar is strongly associated with the school of linguistic typology that takes its lead from the work of Joseph Greenberg.

Functional decomposition refers broadly to the process of resolving a functional relationship into its constituent parts in such a way that the original function can be reconstructed ( i. e., recomposed ) from those parts by function composition.

Functional theories of grammar explain grammatical structures by their communicative functions, and understands the grammatical structures of language to be the result of an adaptive process by which grammar was " tailored " to serve communicative needs of its users.

Functional webs emphasize that " the importance of each population in maintaining the integrity of a community is reflected in its influence on the growth rates of other populations.

* Functional benchmarking-a company will focus its benchmarking on a single function to improve the operation of that particular function.

The FGB-based Kvant-1 module of the Mir space station was the first space station module of its kind, and the Zarya Functional Cargo Block, which is still in use on the International Space Station.

All of the 432's chips could be configured in pairs for Functional Redundancy Checking ( FRC ), in which one component, the master, operated normally, and a second, the checker, carried out the same internal operations in parallel and verified its results against those of the master.

# Functional assay, i. e. an assay that tries to quantify functioning of an active substance rather than just its quantity.

* E. Zeidler, Nonlinear Functional Analysis and its Applications, I-Fixed-Point Theorems

SMA are also subject to Functional Fatigue, whereby the SMA does not fail structurally, but, due to a combination of applied stress, and / or temperature, loses ( to some degree ) its ability to undergo a reversible phase transformation.

When the program was founded in 2003, its purpose was to provide those officers who had been newly designated into Functional Area 59 ( Strategist, formerly Strategic Plans & Policy ) an introduction to strategy and to the unique skills, knowledge, and attributes needed as a foundation for their progressive development as army strategists.

Functional psychology is interested in mental operations by way of mental activity and its relation to the larger biological forces.

It had a Functional Cargo Block derived from a TKS spacecraft to control its orbit and it could fire test targets to demonstrate the fire control system.

A few Trunk Rotation Therapy studies suggest its effectiveness in improving performance on neglect tests as well as the Functional Independence Measure ( FIM ).

Functional genomics involves studies of natural variation in genes, RNA, and proteins over time ( such as an organism's development ) or space ( such as its body regions ), as well as studies of natural or experimental functional disruptions affecting genes, chromosomes, RNAs, or proteins.

In August 2005, the program met 100 % of the criteria in its most important milestone to date, Systems of Systems Functional Review.