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), Functor (functional programming) (view), Algebraic Logic Functional programming language (view), Symposium on Trends in Functional Programming (view), Comparison of functional programming languages (view)
searching for Functional programming 83 found (811 total)
alternate case: functional programming
Short-circuit evaluation
(1,449 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/800068Metaobject (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-0897912006RascalMPL (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 softwareDon 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 alsoRoland 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 InternationalThorsten 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 fromId (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-orderSeparation of concerns (1,539 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 SoC: The programmer is having to do several thingsBrodal 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)List of document markup languages (1,380 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-algebrasAddress (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.[citationComputational 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., andJames 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 transformationBinomial 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 HUnrolled 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-0897916431LambdaNative (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. BostonMinimum 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/S0956796804005301QuickCheck (1,129 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, KoenMatthew 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 MachineryQuery 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 JSONHBAP1 (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):Akka (toolkit) (1,575 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'sType system (7,195 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'SullivanOBJ (programming language) (271 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 etObject–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-relationalUnreal Engine (4,114 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 programmingHashed 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.224187GHC (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 technologiesAbstract data type (4,308 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-styleModulo (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 aType 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/S0956796801004282Hope (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 sponsoredNock (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)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 EASiIota (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 [dMulti-model database (1,134 words) [view diff] case mismatch in snippet view article find links to article
MultiCategory: Multi-model Query Processing Meets Category Theory and Functional Programming Polyglot Persistence The 451 Group, "Neither Fish Nor Fowl: TheRecursive data type (982 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 commonAll 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 GoneUniqueness 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 sometimesSyntax (programming languages) (1,886 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 produceIncremental 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 IceDustSyntax (programming languages) (1,886 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 producePCF (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 specificationFixed-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 introductionBernard 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,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 SupportS-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/S0956796809990074Parent 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 089791273XOmega (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)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 andJim 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 MeetingBidirectionalization (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 eSpring Framework (6,654 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 ReactiveAnders 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 - TheSession 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-7968A (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 theBogosort (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/1086365Parametricity (483 words) [view diff] case mismatch in snippet view article find links to article
(September 1989). "Theorems for free!". 4th International Conference on Functional Programming and Computer Architecture. London. Johann, Patricia; VoigtlaenderJava bytecode (1,714 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 bytecodeGradual 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-staticSA-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–10Q (disambiguation) (1,273 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. MacdonaldCaml 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 withJean 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 AllenDynamic array (2,119 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.224187Filesystem Hierarchy Standard (1,596 words) [view diff] case mismatch in snippet view article find links to article
(PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming. Victoria, British Columbia, Canada. pp. 367–378. "5.3 About theLiquid 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/2692915Algorithmic skeleton (8,819 words) [view diff] case mismatch in snippet view article find links to article
Ortega-Mallén and Ricardo Peña-Marí. "Parallel Functional Programming in Eden", Journal of Functional Programming, No. 15(2005),3, pages 431–475 Murray ColeFlix (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 encodingHygienic 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