* R. E. Bryant, S. M. German, and M. N. Velev, Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions, in Analytic Tableaux and Related Methods, pp. 1 – 13, 1999.

* Mark A. Satterthwaite, " Strategy-proofness and Arrow's Conditions: Existence and Correspondence Theorems for Voting Procedures and Social Welfare Functions ", Journal of Economic Theory 10 ( April 1975 ), 187 – 217.

* Mark A. Satterthwaite, " Strategy-proofness and Arrow's Conditions: Existence and Correspondence Theorems for Voting Procedures and Social Welfare Functions ", Journal of Economic Theory 10 ( April 1975 ), 187 – 217.

During his time as a councillor Taylor was a of the Policy & Resources Committee, the Adult Social Care & Health Committee, the Housing Committee, the Joint Commissioning Board, the Shoreham Airport Joint Committee, the Housing Decision Procedures Scrutiny Panel and the Licensing & Regulatory Functions Sub-Committee.

* ECMA-165-Private Integrated Services Network ( PISN )-Generic Functional Protocol for the Support of Supplementary Services-Inter-Exchange Signalling Procedures and Protocol ( QSIG-GF ), International and European Versions: ISO / IEC 11582, ETSI ETS 300 239

Functions are divided into Functional Entities ( FEs ).

* GameDev. net-Chess Programming Part VI: Evaluation Functions

Indeed, PCF ( for Programming language for Computable Functions ) is a prototypical, typed functional programming language, where types are used to ensure that programs are well-behaved but not necessarily terminating.

* Programming Computable Functions, a simple functional programming language

A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming.

Stokey has published significant research in the areas of economic growth and development, as well as papers on economic history (" A Quantitative Model of the British Industrial Revolution: 1780-1850 ," 2001 ) and econometrics (" Dynamic Programming with Homogeneous Functions ," 1998, co-authored with Fernando Alvarez ).

* Programming language for Computable Functions

Calculus of a Single Variable: Early Transcendental Functions ( 3rd edition ).

Calculus of a Single Variable: Early Transcendental Functions ( 3rd edition ).

The Ontario Science Centre Science School ( OSCSS ) offers credited grade 12 University Preparation courses in 3 of the following of the student's choice: Physics, Biology, Chemistry, Calculus, and Advanced Functions.

Applicants must also take Grade 12 English ( U ) and Grade 12 Advanced Functions and either Grade 12 Data Management or Grade 12 Calculus ( Calculus Recommended ).

* Functional Programming and its Applications, David A. Turner, Cambridge U Press 1982.

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

* 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 languages based on lambda-calculus reify the concept of a procedure abstraction and procedure application in the form of the Lambda expression.

" The Completeness of the First-Order Functional Calculus ", Journal of Symbolic Logic.

These three ground-breaking articles were " A Functional Calculus of First Order Based on Strict Implication ", Journal of Symbolic Logic ( JSL, 1946 ), " The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication " ( JSL, 1946 ), " The Identity of Individuals in a Strict Functional Calculus of Second Order ", ( JSL, 1947 ).