Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Unlambda> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Unlambda abstract "Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator. It relies mainly on two built-in functions (s and k) and an "apply" operator (written `, the backquote character). These alone make it Turing-complete, but there are also some I/O functions to make it possible to interact with the user, some shortcut functions and a function for lazy evaluation. There are no variables in the language.".
- Unlambda wikiPageExternalLink v=onepage&q=%22Unlambda%22&f=false.
- Unlambda wikiPageExternalLink :languages.
- Unlambda wikiPageExternalLink lect28apr.pdf.
- Unlambda wikiPageExternalLink unlambda.
- Unlambda wikiPageID "146927".
- Unlambda wikiPageLength "7436".
- Unlambda wikiPageOutDegree "23".
- Unlambda wikiPageRevisionID "670387910".
- Unlambda wikiPageWikiLink %22Hello,_World!%22_program.
- Unlambda wikiPageWikiLink Abstraction_elimination.
- Unlambda wikiPageWikiLink Backquote.
- Unlambda wikiPageWikiLink Call-with-current-continuation.
- Unlambda wikiPageWikiLink Call_with_current_continuation.
- Unlambda wikiPageWikiLink Category:Esoteric_programming_languages.
- Unlambda wikiPageWikiLink Category:Functional_languages.
- Unlambda wikiPageWikiLink Combinatory_logic.
- Unlambda wikiPageWikiLink Currying.
- Unlambda wikiPageWikiLink David_Madore.
- Unlambda wikiPageWikiLink Eager_evaluation.
- Unlambda wikiPageWikiLink Esoteric_programming_language.
- Unlambda wikiPageWikiLink Fixed-point_combinator.
- Unlambda wikiPageWikiLink Fixed_point_combinator.
- Unlambda wikiPageWikiLink Functional_programming.
- Unlambda wikiPageWikiLink Functional_programming_language.
- Unlambda wikiPageWikiLink Grave_accent.
- Unlambda wikiPageWikiLink Hello_world_program.
- Unlambda wikiPageWikiLink output.
- Unlambda wikiPageWikiLink Iota_and_Jot.
- Unlambda wikiPageWikiLink Lambda_calculus.
- Unlambda wikiPageWikiLink Lazy_evaluation.
- Unlambda wikiPageWikiLink Purely_functional.
- Unlambda wikiPageWikiLink SKI_combinator_calculus.
- Unlambda wikiPageWikiLink Syntactic_sugar.
- Unlambda wikiPageWikiLink Turing-complete.
- Unlambda wikiPageWikiLink Turing_completeness.
- Unlambda wikiPageWikiLinkText "Unlambda".
- Unlambda wikiPageWikiLinkText "unlambda".
- Unlambda hasPhotoCollection Unlambda.
- Unlambda wikiPageUsesTemplate Template:Cite_book.
- Unlambda wikiPageUsesTemplate Template:Reflist.
- Unlambda subject Category:Esoteric_programming_languages.
- Unlambda subject Category:Functional_languages.
- Unlambda type Language.
- Unlambda type Language.
- Unlambda comment "Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator. It relies mainly on two built-in functions (s and k) and an "apply" operator (written `, the backquote character). These alone make it Turing-complete, but there are also some I/O functions to make it possible to interact with the user, some shortcut functions and a function for lazy evaluation.".
- Unlambda label "Unlambda".
- Unlambda sameAs Unlambda.
- Unlambda sameAs Unlambda.
- Unlambda sameAs Unlambda.
- Unlambda sameAs Unlambda.
- Unlambda sameAs Unlambda.
- Unlambda sameAs Unlambda.
- Unlambda sameAs Unlambda.
- Unlambda sameAs m.012ryn.
- Unlambda sameAs Unlambda.
- Unlambda sameAs Q670180.
- Unlambda sameAs Q670180.
- Unlambda wasDerivedFrom Unlambda?oldid=670387910.
- Unlambda isPrimaryTopicOf Unlambda.