Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Purely functional programming (view), Monad (functional programming) (view), International Conference on Functional Programming (view), Journal of Functional Programming (view), Total functional programming (view), List of functional programming topics (view), Algebraic Logic Functional programming language (view), Functor (functional programming) (view), Symposium on Trends in Functional Programming (view), Comparison of functional programming languages (view)

searching for Functional programming 89 found (807 total)

alternate case: functional programming

List comprehension (2,556 words) [view diff] exact match in snippet view article find links to article

description of their functional programming language NPL from 1977. In his retrospective "Some History of Functional Programming Languages", David Turner

Short-circuit evaluation (1,452 words) [view diff] no match in snippet view article find links to article

Short-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming

FP (programming language) (897 words) [view diff] exact match in snippet view article

FP (short for functional programming) is a programming language created by John Backus to support the function-level programming paradigm. It allows building

Categorical abstract machine (349 words) [view diff] exact match in snippet view article find links to article

transparent and sound mathematical representation for the languages of functional programming. The machine code can be optimized using the equational form of

Martin Odersky (409 words) [view diff] case mismatch in snippet view article find links to article

teaches three courses on the Coursera online learning platform: Functional Programming Principles in Scala, Functional Program Design in Scala and Programming

Peter G. Harrison (376 words) [view diff] case mismatch in snippet view article find links to article

find product-form solutions. Harrison has coauthored two books, Functional Programming with Tony Field, and Performance Modelling of Communication Networks

IGOR Pro (647 words) [view diff] exact match in snippet view article find links to article

such as curve fitting and image processing. It comes with a fully functional programming language and compiler, but many functions are also accessible through

John Darlington (1,372 words) [view diff] case mismatch in snippet view article find links to article

was director of the London e-Science Centre and was head of the Functional Programming and Social Computing Sections at Imperial. Darlington is known for

Syntactic closure (88 words) [view diff] no match in snippet view article find links to article

In computer science, syntactic closures are an implementation strategy for a hygienic macro system. The term pertains to the Scheme programming language

Defunctionalization (640 words) [view diff] no match in snippet view article find links to article

In programming languages, defunctionalization is a compile-time transformation which eliminates higher-order functions, replacing them by a single first-order

S-1 Lisp (104 words) [view diff] exact match in snippet view article find links to article

implementation". Proceedings of the 1982 ACM symposium on LISP and functional programming. Association for Computing Machinery: 108–113. doi:10.1145/800068

Nial (850 words) [view diff] exact match in snippet view article find links to article

Jenkins co-created the Jenkins–Traub algorithm. Nial combines a functional programming notation for arrays based on an array theory developed by Trenchard

Metaobject (1,201 words) [view diff] exact match in snippet view article find links to article

reflective tower". Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86. pp. 298–307. doi:10.1145/319838.319871. ISBN 978-0897912006

RascalMPL (200 words) [view diff] exact match in snippet view article find links to article

Its syntax and semantics are based on procedural (imperative) and functional programming. Rascal derives Eclipse_(software) plugins for any Rascal-implemented

Don Syme (268 words) [view diff] exact match in snippet view article find links to article

University of Cambridge, and is a member of the IFIP working group on functional programming. He is a co-author of the book Expert F# 3.0. In the past he also

Id (programming language) (409 words) [view diff] exact match in snippet view article

with Id at MIT into the 1990s. The major subset of Id is a purely functional programming language with non-strict semantics. Features include: higher-order

Thorsten Altenkirch (137 words) [view diff] case mismatch in snippet view article find links to article

the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton. Altenkirch obtained his PhD from

Roland Carl Backhouse (757 words) [view diff] case mismatch in snippet view article find links to article

Programming". Advanced Functional Programming [Conference Information: 3rd International School on Advanced Functional Programming (AFP 98),12–19 September

Off-side rule (1,291 words) [view diff] case mismatch in snippet view article find links to article

History of Functional Programming Languages (Invited Talk)". In Loidl, Hans Wolfgang; Peña, Ricardo (eds.). Trends in Functional Programming: 13th International

Brodal queue (914 words) [view diff] case mismatch in snippet view article find links to article

Okasaki (1996). Optimal purely functional priority queues. Journal of Functional Programming. Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L. (1990)

Separation of concerns (1,947 words) [view diff] case mismatch in snippet view article find links to article

accepted idea. In 1989, Chris Reade wrote a book titled Elements of Functional Programming that describes separation of concerns: The programmer is having

List of document markup languages (1,381 words) [view diff] exact match in snippet view article find links to article

by the Linux Documentation Project Lout – a document formatting functional programming language, similar in style to LaTeX Maker Interchange Format (MIF)

Phil Bagwell (158 words) [view diff] exact match in snippet view article find links to article

until his death. His work is now a standard part of the runtimes of functional programming languages including Clojure, Scala, and Haskell. His contributions

Apomorphism (122 words) [view diff] case mismatch in snippet view article find links to article

coinductive data type. The term "apomorphism" was introduced in Functional Programming with Apomorphisms (Corecursion). Morphism Morphisms of F-algebras

Computational semantics (344 words) [view diff] case mismatch in snippet view article find links to article

Eijck, J. van, and C. Unger (2010): Computational Semantics with Functional Programming. Cambridge University Press. ISBN 978-0-521-75760-7 Wilks, Y., and

Address (programming language) (621 words) [view diff] exact match in snippet view article

fields, such as abstract data types, object-oriented programming, functional programming, logical programming, databases and artificial intelligence.[citation

Mathematics of paper folding (4,134 words) [view diff] exact match in snippet view article find links to article

researcher from the University of Oxford, described a style of functional programming in terms of origami. He coined this paradigm as "origami programming

James Cordy (1,043 words) [view diff] exact match in snippet view article find links to article

TXL source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation

James Cordy (1,043 words) [view diff] exact match in snippet view article find links to article

TXL source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation

Binomial heap (2,566 words) [view diff] case mismatch in snippet view article find links to article

1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Cormen, Thomas H

QuickCheck (1,115 words) [view diff] case mismatch in snippet view article find links to article

Programs" (PDF). Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN. Retrieved January 29, 2006. Claessen, Koen

Unrolled linked list (688 words) [view diff] exact match in snippet view article find links to article

"Unrolling lists", Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94, pp. 185–191, doi:10.1145/182409.182453, ISBN 978-0897916431

LambdaNative (684 words) [view diff] exact match in snippet view article find links to article

report: Functional programming of mHealth applications" (PDF). Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. Boston

Query language (928 words) [view diff] exact match in snippet view article find links to article

language most commonly used for JSON query processing; jq is a functional programming language often used for processing queries against one or more JSON

Akka (toolkit) (1,296 words) [view diff] case mismatch in snippet view article

"Actors in Scala" N. Raychaudhuri's "Scala in Action" D. Wampler's "Functional Programming for Java Developers" A. Alexander's "Scala Cookbook" V. Subramaniam's

Unreal Engine (4,090 words) [view diff] exact match in snippet view article find links to article

how long, I should ask him – around a decade. So it's informed by functional programming and imperative programming and game programming and logic programming

Minimum message length (1,397 words) [view diff] exact match in snippet view article find links to article

"Models for machine learning and data mining in functional programming". Journal of Functional Programming. 15 (1): 15–32. doi:10.1017/S0956796804005301

Matthew Flatt (468 words) [view diff] exact match in snippet view article find links to article

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming. ICFP '02. New York, NY, USA: Association for Computing Machinery

ID (777 words) [view diff] exact match in snippet view article find links to article

neurodevelopmental disorder Id (programming language), a parallel functional programming language iD (software), an editor for OpenStreetMap geodata id (Unix)

HBAP1 (450 words) [view diff] exact match in snippet view article find links to article

Ayres TM, Shen CK (1984). "Distinctive sequence organization and functional programming of an Alu repeat promoter". Proc. Natl. Acad. Sci. U.S.A. 81 (17):

Alice (1,080 words) [view diff] exact match in snippet view article find links to article

chip in the Amiga computer in 1992 Alice (programming language), a functional programming language designed by the Programming Systems Lab at Saarland University

OBJ (programming language) (235 words) [view diff] case mismatch in snippet view article

Unnecessary for Higher-Order Programming. In Research Topics in Functional Programming (June 1990). pp. 309–351. "Principles of OBJ2", K. Futatsugi et

Type system (7,205 words) [view diff] exact match in snippet view article find links to article

variables to avoid capture of a free variable can introduce error, in a functional programming language where functions are first class citizens. —From the lambda

Association list (898 words) [view diff] case mismatch in snippet view article find links to article

Yaron; Madhavapeddy, Anil; Hickey, Jason (2013). Real World OCaml: Functional Programming for the Masses. O'Reilly Media. p. 253. ISBN 9781449324766. O'Sullivan

Object–relational impedance mismatch (1,798 words) [view diff] exact match in snippet view article find links to article

mapping. Comprehensions in functional programming languages are isomorphic with relational queries. Some functional programming languages implement functional-relational

GHC (212 words) [view diff] exact match in snippet view article find links to article

American conglomerate Glasgow Haskell Compiler, a compiler for the functional programming language Haskell Global Hybrid Cooperation, a set of vehicle technologies

Hashed array tree (744 words) [view diff] case mismatch in snippet view article find links to article

Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10.1145/224164.224187

Abstract data type (4,305 words) [view diff] exact match in snippet view article find links to article

size). Functional-style ADT definitions are more appropriate for functional programming languages, and vice versa. However, one can provide a functional-style

Modulo (mathematics) (807 words) [view diff] exact match in snippet view article

n, under certain constraints. In category theory as applied to functional programming, "operating modulo" is special jargon which refers to mapping a

Nock (166 words) [view diff] exact match in snippet view article find links to article

volley gun National Oil Corporation of Kenya Nock, a low-level functional programming language used in Urbit Knock (disambiguation) Nauck (disambiguation)

Type erasure (189 words) [view diff] case mismatch in snippet view article find links to article

"Intensional Polymorphism in Type-Erasure Semantics". Journal of Functional Programming. 12 (6): 567–600. CiteSeerX 10.1.1.5.4507. doi:10.1017/S0956796801004282

Uniqueness type (578 words) [view diff] exact match in snippet view article find links to article

for side effects to occur. Uniqueness types are implemented in functional programming languages such as Clean, Mercury, SAC and Idris. They are sometimes

Hope (disambiguation) (1,242 words) [view diff] exact match in snippet view article

theatre built in London in 1614 Hope (programming language), a small functional programming language Hackers on Planet Earth, a biennial conference series sponsored

PCF (263 words) [view diff] exact match in snippet view article find links to article

fiber, a type of optical fiber Programming Computable Functions, a functional programming language Physical Constraints File, a file format for the specification

Incremental computing (1,189 words) [view diff] case mismatch in snippet view article find links to article

Incrementalization (also called "Self-Adjusting Computation", and "Adaptive Functional Programming"), Delta ML, Haskell Adaptive Cornell Synthesizer Generator IceDust

Glasgow (disambiguation) (461 words) [view diff] exact match in snippet view article

the Scottish city Glasgow Haskell Compiler, a compiler for the functional programming language Haskell Glasgow School, a circle of painters in the 1880s

Amortized analysis (1,266 words) [view diff] case mismatch in snippet view article find links to article

"Lecture 18: Amortized Algorithms". CS312 -Data Structures and Functional Programming. Cornell University. 2006. [Amortized analysis] is different from

Solution stack (1,387 words) [view diff] exact match in snippet view article find links to article

Erlang) Mnesia or CouchDB (database, written in Erlang) Erlang (functional programming language) MAMP Mac OS X (operating system) Apache (web server) MySQL

SASL (117 words) [view diff] exact match in snippet view article find links to article

in Internet protocols SASL (programming language), a non-strict functional programming language developed by David Turner in 1976 System Application Support

Amortized analysis (1,266 words) [view diff] case mismatch in snippet view article find links to article

"Lecture 18: Amortized Algorithms". CS312 -Data Structures and Functional Programming. Cornell University. 2006. [Amortized analysis] is different from

All horses are the same color (801 words) [view diff] case mismatch in snippet view article find links to article

University Press. p. 120. Thomas VanDrunen, Discrete Mathematics and Functional Programming, Franklin, Beedle and Associates, 2012, Section "Induction Gone

S-expression (1,716 words) [view diff] case mismatch in snippet view article find links to article

"Revised6 Report on the Algorithmic Language Scheme". Journal of Functional Programming. 19 (S1): 1–301. CiteSeerX 10.1.1.372.373. doi:10.1017/S0956796809990074

Bernard Greenberg (570 words) [view diff] exact match in snippet view article find links to article

Lisp". LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming. Stanford: ACM. pp. 6–12. doi:10.1145/800087.802784. Greenberg,

Anders Hejlsberg (820 words) [view diff] case mismatch in snippet view article find links to article

- Whiteboard with Anders Hejlsberg Anders Hejlsberg - LINQ and Functional Programming Outstanding Technical Achievement: C# Team Anders Hejlsberg - The

Bidirectionalization (62 words) [view diff] case mismatch in snippet view article find links to article

Kazutaka Matsuda, and Meng Wang. Combining Syntactic and Semantic Bidirectionalization. International Conference on Functional Programming 2010. v t e

Fixed-point theorem (1,278 words) [view diff] case mismatch in snippet view article find links to article

5:2: 285–309. Peyton Jones, Simon L. (1987). The Implementation of Functional Programming. Prentice Hall International. Cutland, N.J., Computability: An introduction

Parent pointer tree (529 words) [view diff] exact match in snippet view article find links to article

continuations". Proceedings of the 1988 ACM conference on LISP and functional programming - LFP '88. pp. 124–131. doi:10.1145/62678.62692. ISBN 089791273X

Omega (disambiguation) (985 words) [view diff] exact match in snippet view article

drivers for ATI and nVidia graphics cards Ωmega, a strict pure functional programming language Omega language, in formal language theory Omega2 (computer)

Jim Weirich (678 words) [view diff] case mismatch in snippet view article find links to article

RubyNation 2010 Power Rake - Steel City Ruby 2012 Y Not? Adventures in Functional Programming - Ruby Conference 2012 Kata and Analysis - BostonRB Monthly Meeting

Recursive data type (1,170 words) [view diff] exact match in snippet view article find links to article

also arise in type-theoretic semantics of objects and classes. In functional programming languages, isorecursive types (in the guise of datatypes) are common

Congruence relation (1,749 words) [view diff] case mismatch in snippet view article find links to article

being compatible) Howie (1975), p. v Barendregt, Henk (1990). "Functional Programming and Lambda Calculus". In Jan van Leeuwen (ed.). Formal Models and

Session type (898 words) [view diff] case mismatch in snippet view article find links to article

"A simple library implementation of binary sessions". Journal of Functional Programming. 27: e4. doi:10.1017/S0956796816000289. hdl:2318/1634956. ISSN 0956-7968

Spring Framework (6,688 words) [view diff] exact match in snippet view article find links to article

following the functional programming paradigm, designed for building reactive Spring applications. This framework uses functional programming and Reactive

BETA (programming language) (557 words) [view diff] exact match in snippet view article

programming and has comprehensive facilities for procedural and functional programming. It has powerful abstraction mechanisms to support identification

Parametricity (484 words) [view diff] case mismatch in snippet view article find links to article

Philip (September 1989). "Theorems for free!". 4th Int'l Conf. on Functional Programming and Computer Architecture. London. Johann, Patricia; Janis Voigtlaender

Q (disambiguation) (1,254 words) [view diff] exact match in snippet view article

x86 emulator for Mac OS X Q (equational programming language), functional programming language based on term rewriting Q (game engine), 3D middleware

Caml Lights (52 words) [view diff] exact match in snippet view article find links to article

Lights, a brand of cigarette. See Camel (cigarette). Caml Light, a functional programming language. This disambiguation page lists articles associated with

A (disambiguation) (1,663 words) [view diff] exact match in snippet view article

Classification System A+ (programming language) A♯, an object-oriented functional programming language A Sharp (.NET) (also written "A#"), a port of Ada to the

Bogosort (1,891 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05) (PDF), SIGPLAN Notices, pp. 192–203, doi:10.1145/1086365

Liquid Haskell (180 words) [view diff] case mismatch in snippet view article find links to article

ACM SIGPLAN International Conference on Functional Programming. International Conference on Functional Programming. ACM. pp. 269–282. doi:10.1145/2692915

Syntax (programming languages) (2,436 words) [view diff] exact match in snippet view article

declarative programming, rather than need to have procedural or functional programming. A notable example is the lex-yacc pair. These automatically produce

SA-C (programming language) (140 words) [view diff] case mismatch in snippet view article

Horváth, Zoltán (eds.), "Single Assignment C (SAC)", Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10

Gradual typing (1,108 words) [view diff] case mismatch in snippet view article find links to article

2006). Gradual Typing for Functional Languages (PDF). Scheme and Functional Programming 2006. University of Chicago. pp. 81–92. Thatte, Satish (1990). "Quasi-static

Java bytecode (1,732 words) [view diff] exact match in snippet view article find links to article

general-purpose programming language supporting object-oriented and functional programming JGNAT and AppletMagic, compile from the language Ada to Java bytecode

Jean Vuillemin (364 words) [view diff] case mismatch in snippet view article find links to article

Hinze, Ralf (January 1999), "Explaining binomial heaps", Journal of Functional Programming, 9 (1): 93–104, doi:10.1017/s0956796899003317 Weiss, Mark Allen

Autocode (1,096 words) [view diff] case mismatch in snippet view article find links to article

Laboratory. Barron, David William (1968) [1967]. "1.5. Recursion in Functional Programming". In Gill, Stanley (ed.). Recursive techniques in programming. Macdonald

Flix (119 words) [view diff] exact match in snippet view article find links to article

free dictionary. Flix may refer to: Flix (programming language), a functional programming language South Florida Internet Exchange (FL-IX) Flix, a video encoding

Hygienic macro (2,417 words) [view diff] exact match in snippet view article find links to article

(1986). "Hygienic Macro Expansion" (PDF). ACM conference on LISP and functional programming. "CLHS: Function GENSYM". "hygiene-versus-gensym". community.schemewiki

Dynamic array (2,102 words) [view diff] case mismatch in snippet view article find links to article

Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10.1145/224164.224187