This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n14http://www.wolfengagen.mephi.ru/papers/
foafhttp://xmlns.com/foaf/0.1/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n11http://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Categorical_abstract_machine
rdf:type
dbo:Person
rdfs:label
Categorical abstract machine
rdfs: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.
owl:sameAs
freebase:m.0412xn7 yago-res:Categorical_abstract_machine
dbp:wikiPageUsesTemplate
dbt:Colbegin dbt:Colend dbt:How dbt:ISBN dbt:Refimprove dbt:Reflist
dct:subject
dbc:Implementation_of_functional_programming_languages dbc:Models_of_computation dbc:Applicative_computing_systems
dbo:wikiPageExternalLink
n14:Wolfengagen_CLP-2003(En).pdf
gold:hypernym
dbr:Model
prov:wasDerivedFrom
n11:Categorical_abstract_machine?oldid=1037942665&ns=0
dbo:wikiPageID
16944419
dbo:wikiPageLength
3070
dbo:wikiPageRevisionID
1037942665
dbo:wikiPageWikiLink
dbr:Evaluation_strategy dbr:Lazy_evaluation dbr:Type_inference dbr:Supercombinator dbc:Applicative_computing_systems dbr:Nicolaas_Govert_de_Bruijn dbr:Model_of_computation dbr:Applicative_computing_systems dbc:Implementation_of_functional_programming_languages dbr:SECD_machine dbr:Peter_Landin dbc:Models_of_computation dbr:ML_(programming_language) dbr:Anonymous_recursion dbr:Explicit_substitution dbr:Theory_of_computation dbr:Cartesian_closed_category dbr:Unlambda dbr:De_Bruijn_notation dbr:Caml dbr:Combinatory_logic dbr:SKI_combinator_calculus dbr:Recursion dbr:Currying dbr:Typed_lambda_calculus
dbo: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.
foaf:isPrimaryTopicOf
n11:Categorical_abstract_machine