Find link

Functional programming not in Hashed array tree

language:

jump to random article

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 85 found (811 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
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
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
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 (655 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
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
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
RascalMPL (193 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 plugins for any Rascal-implemented software
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
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,314 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)
Apomorphism (123 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
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
Computational semantics (347 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
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
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
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
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
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
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
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
Minimum message length (1,382 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
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):
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
Akka (toolkit) (1,602 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,111 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
Alice (1,093 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
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
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
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
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
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
Modulo (mathematics) (809 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
Abstract data type (4,306 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
Container (type theory) (739 words) [view diff] case mismatch in snippet view article
Sam (2009). "Containers and Higher-Order Containers". Journal of Functional Programming. 19 (3–4): 469–492. doi:10.1017/S0956796809007323. Altenkirch, Thorsten;
Hope (disambiguation) (1,196 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
Iota (809 words) [view diff] exact match in snippet view article find links to article
November 18, 2016. Retrieved 2017-08-08. Darlington, John, ed. (1991). Functional programming and its applications: an advanced course (Xerographic reprint [d
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
Mathematics of paper folding (4,017 words) [view diff] exact match in snippet view article find links to article
languages and programming paradigms, particular in the setting of functional programming. Robert Lang participated in a project with researchers at EASi
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
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
PCF (276 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
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
Syntax (programming languages) (1,902 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
Amortized analysis (1,294 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
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
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
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,
Parent pointer tree (534 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
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
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
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
Omega (disambiguation) (969 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)
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
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
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,684 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
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
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,651 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
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
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
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
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
BETA (programming language) (597 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
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
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
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
Q (disambiguation) (1,267 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
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