Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Supercombinator> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Supercombinator abstract "A supercombinator is a mathematical expression which is fully bound and self-contained. It may be either a constant or a combinator where all the subexpressions are supercombinators. Supercombinators are used in the implementation of functional languages.In mathematical terms, a lambda expression S is a supercombinator of arity n if it has no free variables and is of the form λx1.λx2...λxn.E (with n ≥ 0, so that lambdas are not required) such that E itself is not a lambda abstraction and any lambda abstraction in E is again a supercombinator.".
- Supercombinator wikiPageExternalLink slpj-book-1987.
- Supercombinator wikiPageID "1479058".
- Supercombinator wikiPageLength "1121".
- Supercombinator wikiPageOutDegree "12".
- Supercombinator wikiPageRevisionID "627568931".
- Supercombinator wikiPageWikiLink Arity.
- Supercombinator wikiPageWikiLink Category:Functional_programming.
- Supercombinator wikiPageWikiLink Category:Implementation_of_functional_programming_languages.
- Supercombinator wikiPageWikiLink Category:Lambda_calculus.
- Supercombinator wikiPageWikiLink Combinator.
- Supercombinator wikiPageWikiLink Combinatory_logic.
- Supercombinator wikiPageWikiLink Constant_(mathematics).
- Supercombinator wikiPageWikiLink Expression_(mathematics).
- Supercombinator wikiPageWikiLink Free_variables_and_bound_variables.
- Supercombinator wikiPageWikiLink Lambda_abstraction.
- Supercombinator wikiPageWikiLink Lambda_calculus.
- Supercombinator wikiPageWikiLink Lambda_lifting.
- Supercombinator wikiPageWikiLink Mathematical_expression.
- Supercombinator wikiPageWikiLink Self-contained.
- Supercombinator wikiPageWikiLink Self-sufficiency.
- Supercombinator wikiPageWikiLinkText "Supercombinator".
- Supercombinator wikiPageWikiLinkText "supercombinator".
- Supercombinator wikiPageWikiLinkText "supercombinators".
- Supercombinator hasPhotoCollection Supercombinator.
- Supercombinator wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- Supercombinator subject Category:Functional_programming.
- Supercombinator subject Category:Implementation_of_functional_programming_languages.
- Supercombinator subject Category:Lambda_calculus.
- Supercombinator hypernym Expression.
- Supercombinator type Model.
- Supercombinator type Organisation.
- Supercombinator type Model.
- Supercombinator comment "A supercombinator is a mathematical expression which is fully bound and self-contained. It may be either a constant or a combinator where all the subexpressions are supercombinators.".
- Supercombinator label "Supercombinator".
- Supercombinator sameAs Superkombinator.
- Supercombinator sameAs m.054r1n.
- Supercombinator sameAs Суперкомбинатор.
- Supercombinator sameAs Q3513826.
- Supercombinator sameAs Q3513826.
- Supercombinator wasDerivedFrom Supercombinator?oldid=627568931.
- Supercombinator isPrimaryTopicOf Supercombinator.