Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Categorical_abstract_machine> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Categorical_abstract_machine abstract "The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing.".
- Categorical_abstract_machine wikiPageExternalLink Wolfengagen_CLP-2003(En).pdf.
- Categorical_abstract_machine wikiPageID "16944419".
- Categorical_abstract_machine wikiPageLength "2759".
- Categorical_abstract_machine wikiPageOutDegree "29".
- Categorical_abstract_machine wikiPageRevisionID "641103021".
- Categorical_abstract_machine wikiPageWikiLink Anonymous_recursion.
- Categorical_abstract_machine wikiPageWikiLink Applicative_computing_systems.
- Categorical_abstract_machine wikiPageWikiLink Call_by_name.
- Categorical_abstract_machine wikiPageWikiLink Call_by_value.
- Categorical_abstract_machine wikiPageWikiLink Caml.
- Categorical_abstract_machine wikiPageWikiLink Cartesian_closed_category.
- Categorical_abstract_machine wikiPageWikiLink Category:Applicative_computing_systems.
- Categorical_abstract_machine wikiPageWikiLink Category:Implementation_of_functional_programming_languages.
- Categorical_abstract_machine wikiPageWikiLink Category:Models_of_computation.
- Categorical_abstract_machine wikiPageWikiLink Combinatory_logic.
- Categorical_abstract_machine wikiPageWikiLink Currying.
- Categorical_abstract_machine wikiPageWikiLink De_Bruijn_notation.
- Categorical_abstract_machine wikiPageWikiLink Evaluation_strategy.
- Categorical_abstract_machine wikiPageWikiLink Explicit_substitution.
- Categorical_abstract_machine wikiPageWikiLink Lazy_evaluation.
- Categorical_abstract_machine wikiPageWikiLink Model_of_computation.
- Categorical_abstract_machine wikiPageWikiLink Nicolaas_Govert_de_Bruijn.
- Categorical_abstract_machine wikiPageWikiLink Peter_J._Landin.
- Categorical_abstract_machine wikiPageWikiLink Peter_Landin.
- Categorical_abstract_machine wikiPageWikiLink Recursion.
- Categorical_abstract_machine wikiPageWikiLink SECD_machine.
- Categorical_abstract_machine wikiPageWikiLink SKI_combinator_calculus.
- Categorical_abstract_machine wikiPageWikiLink Supercombinator.
- Categorical_abstract_machine wikiPageWikiLink Theory_of_computation.
- Categorical_abstract_machine wikiPageWikiLink Typed_lambda_calculus.
- Categorical_abstract_machine wikiPageWikiLink Unlambda.
- Categorical_abstract_machine wikiPageWikiLinkText "Categorical abstract machine".
- Categorical_abstract_machine hasPhotoCollection Categorical_abstract_machine.
- Categorical_abstract_machine wikiPageUsesTemplate Template:Colbegin.
- Categorical_abstract_machine wikiPageUsesTemplate Template:Colend.
- Categorical_abstract_machine wikiPageUsesTemplate Template:Refimprove.
- Categorical_abstract_machine wikiPageUsesTemplate Template:Reflist.
- Categorical_abstract_machine subject Category:Applicative_computing_systems.
- Categorical_abstract_machine subject Category:Implementation_of_functional_programming_languages.
- Categorical_abstract_machine subject Category:Models_of_computation.
- Categorical_abstract_machine hypernym Model.
- Categorical_abstract_machine type Article.
- Categorical_abstract_machine type Model.
- Categorical_abstract_machine type Person.
- Categorical_abstract_machine type Article.
- Categorical_abstract_machine type Method.
- Categorical_abstract_machine type Model.
- Categorical_abstract_machine comment "The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing.".
- Categorical_abstract_machine label "Categorical abstract machine".
- Categorical_abstract_machine sameAs m.0412xn7.
- Categorical_abstract_machine sameAs Категориальная_абстрактная_машина.
- Categorical_abstract_machine sameAs Категоріальна_абстрактна_машина.
- Categorical_abstract_machine sameAs Q4217267.
- Categorical_abstract_machine sameAs Q4217267.
- Categorical_abstract_machine wasDerivedFrom Categorical_abstract_machine?oldid=641103021.
- Categorical_abstract_machine isPrimaryTopicOf Categorical_abstract_machine.