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 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 TurnerFP (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 buildingShort-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 programmingCategorical 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 ofMartin 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 ProgrammingPeter 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 NetworksIGOR 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 throughJohn 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 forSyntactic 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 languageNial (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 TrenchardDefunctionalization (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-orderS-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/800068RascalMPL (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 softwareMetaobject (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-0897912006Don 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 alsoId (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-orderThorsten 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 fromRoland 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 SeptemberOff-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 InternationalBrodal 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 havingList 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-algebrasPhil 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 contributionsComputational 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., andAddress (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.[citationJames 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 transformationUnrolled 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-0897916431QuickCheck (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, KoenLambdaNative (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. BostonBinomial 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 HQuery 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 JSONMatthew 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 MachineryMinimum 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/S0956796804005301HBAP1 (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 etAkka (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'sUnreal 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 programmingAlice (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 UniversityType 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 lambdaAssociation 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'SullivanGHC (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 technologiesObject–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-relationalHashed 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.224187Nock (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/S0956796801004282Modulo (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 aAbstract 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-styleContainer (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 sponsoredIota (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 [dUniqueness 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 sometimesMathematics 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 EASiGlasgow (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 1880sIncremental 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 IceDustPCF (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 specificationJim 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 MeetingSyntax (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 produceAmortized 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 fromSASL (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 SupportBidirectionalization (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 eBernard 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 089791273XS-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/S0956796809990074Fixed-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 introductionAll 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 GoneOmega (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 commonAnders 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 - TheCongruence 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 andSession 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-7968Spring 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 ReactiveParametricity (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 VoigtlaenderCaml 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 withA (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 theSA-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–10Liquid 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/2692915Jean 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 AllenFlix (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 encodingBETA (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 identificationJava 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 bytecodeBogosort (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/1086365Gradual 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-staticQ (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 middlewareAutocode (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