No results for "Category:Foundations of Functional Programming" (auto) in titles.

Suggestions for article titles:

1. Functional Programming: Cet article est une ébauche concernant l’informatique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. [100%] 2023-12-31
2. Functional programming: A functional programming language is a language modeled after mathematical functions. Non-functional computer programs allow state changes. [100%] 2024-01-19
3. Functional programming: In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than ... (Programming paradigm based on applying and composing functions) [100%] 2024-08-18 [Functional programming] [Programming paradigms]...
4. Foundations of Functional Programming: This page, and its subsidiary pages, aim to document and discuss the conceptual and mathematical foundations of functional programming language design. There is a vast body of research on the theory of functional programming languages, but much of this knowledge ... [86%] 2024-01-04 [Programming languages] [Foundations of Functional Programming]...
5. Journal of Functional Programming: The Journal of Functional Programming is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning ... [86%] 2024-03-04 [Bimonthly journals] [Cambridge University Press academic journals]...
6. Total functional programming: Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming paradigm that restricts the range of programs to those that are provably terminating. Termination is guaranteed by the following ... [81%] 2024-01-14 [Programming paradigms] [Functional programming]...
7. Functional reactive programming: Functional reactive programming (FRP) is a programming paradigm for reactive programming (asynchronous dataflow programming) using the building blocks of functional programming (e.g. map, reduce, filter). [81%] 2022-12-11 [Functional programming] [Evaluation strategy]...
8. Comparison of functional programming languages: The table shows a comparison of functional programming languages which compares various features and designs of different functional programming languages. (none) [77%] 2023-12-10 [Functional languages] [Programming language comparisons]...
9. List of functional programming topics: This is a list of functional programming topics. (Wikipedia list article) [77%] 2023-02-17 [Functional programming] [Computing-related lists]...
10. Comparison of functional programming languages: The table shows a comparison of functional programming languages which compares various features and designs of different functional programming languages. (none) [77%] 2023-12-30 [Functional languages] [Programming language comparisons]...
11. List of functional programming topics: This is a list of functional programming topics. (none) [77%] 2024-09-07 [Functional programming] [Computing-related lists]...
12. Linear-fractional programming: In mathematical optimization, linear-fractional programming (LFP) is a generalization of linear programming (LP). Whereas the objective function in a linear program is a linear function, the objective function in a linear-fractional program is a ratio of two linear ... [73%] 2024-04-22 [Optimization algorithms and methods] [Linear programming]...
13. Programming: The process of designing programs (cf. Program), a plan of action. (Mathematics) [73%] 2023-10-19
14. Programming (music): Electronic devices and computer software, such as sequencers and workstations, as well as hardware synthesisers, samplers and sequencers, are used to create the sounds of musical instruments during the creation and performance of music. Also common in "modern" pop and ... (Music) [73%] 2024-01-13 [Electronic music] [Musical techniques]...
15. Programming (music): Programming is a form of music production and performance using electronic devices and computer software, such as sequencers and workstations or hardware synthesizers, sampler and sequencers, to generate sounds of musical instruments. These musical sounds are created through the use ... (Music) [73%] 2024-01-20 [Electronic music] [Musical techniques]...
16. Programming Computable Functions: In computer science, Programming Computable Functions (PCF) is a typed functional language introduced by Gordon Plotkin in 1977, based on previous unpublished material by Dana Scott. It can be considered to be an extended version of the typed lambda calculus ... (A typed functional language) [72%] 2023-12-08 [Academic programming languages] [Educational programming languages]...
17. Function-level programming: In computer science, function-level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being value-level programming. In his 1977 Turing Award lecture, Backus ... [71%] 2024-01-20 [Programming paradigms] [Programming language theory]...
18. International Conference on Functional Programming: The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming). The conference focuses on functional ... [70%] 2023-01-24 [Functional programming]
19. International Conference on Functional Programming: Die International Conference on Functional Programming (ICFP) ist eine jährliche Informatik-Konferenz zum Thema "funktionale Programmierung", die von der ACM, SIGPLAN und der IFIP gesponsert wird. Immer populärer wird der im Umfeld der ICFP stattfindende Programmierwettbewerb ICFP Contest. [70%] 2023-06-29
20. Functional: A mapping $f$ of an arbitrary set $X$ into the set $\mathbb R$ of real numbers or the set $\mathbb C$ of complex numbers. If $X$ is endowed with the structure of a vector space, a topological space or an ... (Mathematics) [68%] 2023-10-25