Tag:Lambda

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Lambda calculus (85)
  programming lambda math mathematics lisp calculus wikipedia reference functional logic language scheme computing lambdacalculus wiki cs computer languages maths computerscience theory lambda_calculus lambda-calculus computers haskell functionalprogramming fp compsci computer_science computer+science
• Y Combinator (21)
  programming functional math combinator lambda ycombinator wikipedia lisp scheme mathematics startup recursion algorithms vc computer reference funding development capital cs theory venture science point y_combinator y-combinator javascript fixed calculus advanced
• Fixed point combinator (10)
  programming combinator lambda functional y mathematics math lisp algorithms theory haskell function computer_science y_combinator ycombinator calculus algorithm recursive y-combinator maths recursion functional_programming computer-science cs fixed_point fixed compsci *to-study 2understand comp-func
• Functional programming (6)
  programming functional functional-programming wikipedia fp lisp haskell reference theory wiki functionalprogramming languages software functional_programming erlang article development lambda algorithms python methodology web language computer-science computerscience computer_science paradigm lang computer concepts
• Closure (computer science) (5)
  programming closures closure wikipedia functional javascript computerscience reference cs language scheme development computer ruby python theory science lisp lambda languages computer_science tutorial algorithms computer-science wiki compsci code article computer.science advanced
• Combinatory logic (5)
  logic mathematics functional programming math haskell combinator wikipedia lambda functional-programming cs combinatorylogic computerscience definition combinatory_logic combinatory-logic combinatorics combinatory entrelacs forth fun importedfurl20071006 dataspace fp computing applicative basics calculus clogic concepts
• Typed lambda calculus (3)
  math lambda functional-programming computer_science computer-science calculus type_theory topos-theory typed pugs typed-lambda-calculus types lf @someday-maybe cartesian-closed-categories logic match project:drone
• Unlambda (2)
  programming language functional theory wikipedia minimal unlambda combinatory-logic lambda-calculus fp lambda languages minimalist maths programming_language turing-complete lambda_calc variables unlamda scheme coldfire code c0de _comp_sci compilers esoteric function fun expire functional_programming
• Currying (2)
  programming currying functional wikipedia computerscience javascript languages algorithms code development haskell closures fp math lambda patterns read functional.programming concept functional-programming curry cs dev calculus compilers book-research academic @someday-maybe algoritmos alpii
• Continuation (2)
  programming continuations continuation functional development scheme languages wikipedia cs lisp coroutines design fp ruby lambda concurrency code call/cc closure computer computing cstheory callcc cs390c application 511 @read algorithms article basics
• Calculus of constructions (2)
  coq math lambda programming functional step typetheory-inference-rules misc typetheory-judgements calculus-of-constructions calculus constructions cs haskell-types
• Scheme (programming language) (2)
  scheme programming lisp language wikipedia reference functional development cs history education wiki languages mit lambda programming%2Blanguage english gnu article haskell hewitt lectures linkblog_programming functional-programming computerscience -language .imported @read computer.science functional%2Bprogramming
• SKI combinator calculus (1)
  logic programming combinator wikipedia calculus functional mathematics math ski languages reference qedblog pl scala sk stack-language ski_combinator language system computational computation clogic algorithms concatenative fp lambda haskell lambda_calculus
• Coroutine (1)
  programming coroutine coroutines concurrency threads continuations wikipedia cs python reference languages thread oo os java functional dev flow-control idioms languageagnostic multitasking fibers lambda development basics articles%2Ctutorials%26how-tos bookmarksmenu c concepts events
• Purely functional (1)
  functional programming haskell theory data-structures datastructures wiki algorithms programminglanguages persistent.data.structures purely.function languages wikipedia wp cs concepts computer-science entrelacs functional-programming functionalprogramming lambda
• Monad (category theory) (1)
  monad math monads haskell philosophy programming maths logic triple wp wikipedia lime!!! research read functional-programming categorization categories (?) category category-theory functor categorytheory category_theory lambda
• Common Lisp (1)
  lisp programming language common-lisp wikipedia languages dev functional wiki common cl development lambda isp_2 mc336 l queue study reference functional-programming programminglanguages ai ansi_common_lisp 3 "lisp" artigos_wiki_para_ler coding commonlisp commom computer
• Unification (1)
  logic programming math haskell toread sl_research_dimensions_in_design wikipedia prolog unification ii.ia ai artificialintelligence cs lambda lang
• F Sharp (programming language) (1)
  f# wiki programming microsoft language windows scripting fsharp .net programminglanguages statistics lambda clr caml functional
• Evaluation strategy (1)
  programming wikipedia science reference strict-evaluation theory compsci lazy-evaluation computer languages lambda evaluationstrategy evaluation-strategy langages informatik programming-languages evaluation strategy schule language compiler call-by-value call-by-reference call-by-name callby computerscience csterms cs concepts definitions
• Fold (higher-order function) (1)
  programming functional fold haskell wikipedia reference development fp math algorithms lang lambda johdatuslambdakalkyyliin javascript languages howto page mapreduce lisp reduce education datastructure computerscience code devel functional-programming higher-order-functions google functionalprogramming higherorder
• Temporal logic (1)
  logic temporal temporal-logic semantics wikipedia language verification strathclyde operators phd time model thesis temporal-theory temporal-reasoning formalmethods checking @todo dataspace formal logics lambda meeting
• Function object (1)
  programming functor c++ closure learning functors cs tech functional ruby wikipedia irc wiki concept c/c++ coding object lambda programmazione python software gentoo-laptop programminglanguages functionalobject callback c&cpp code deletage function functionalprogramming
• Proof theory (1)
  math logic mathematics wikipedia theory proof maths referencemaps wikipediapage proofs proof-theory lambda pillar foundation
• Lambda-CDM model (1)
  cosmology physics model science lcdm matter lambda-cold to_categorize vo lambda-cdm models dark big bang cdm concordance lambd-cdm cosmology_lambda-cdm-model_wikipedia_3.24.09 lambda
• Lisp (programming language) (1)
  lisp programming wikipedia language wiki languages programming-language ohjelmointi paradigmshifts software lrn project1 programminglanguages programming_languages functional-programming computer code @read fortran functional info high-level lambda