About: Categorical abstract machine

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Categorical abstract machine Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Person, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdf:type	person
rdfs:label	Categorical abstract machine (en)
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. (en)
sameAs	Categorical abstract machine Categorical abstract machine
dbp:wikiPageUsesTemplate	dbt:Colbegin dbt:Colend dbt:How dbt:ISBN dbt:Refimprove dbt:Reflist
Subject	Applicative computing systems Models of computation Implementation of functional programming languages
Link from a Wikipage to an external page	http://www.wolfengagen.mephi.ru/papers/Wolfengagen_CLP-2003(En).pdf
gold:hypernym	Model
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Categorical_abstract_machine?oldid=1037942665&ns=0
Wikipage page ID	16944419 (xsd:integer)
page length (characters) of wiki page	3070 (xsd:nonNegativeInteger)
Wikipage revision ID	1037942665 (xsd:integer)
Link from a Wikipage to another Wikipage	Supercombinator Anonymous recursion Applicative computing systems Unlambda Caml Cartesian closed category Applicative computing systems Models of computation Peter Landin Currying De Bruijn notation Combinatory logic Nicolaas Govert de Bruijn SECD machine SKI combinator calculus Explicit substitution Model of computation Type inference Typed lambda calculus Evaluation strategy Theory of computation Lazy evaluation ML (programming language) Recursion Implementation of functional programming languages
has 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Categorical_abstract_machine
is Link from a Wikipage to another Wikipage of	Applicative computing systems Cam (disambiguation) Caml Category theory Combinatory logic Functional programming Lambda calculus
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Categorical_abstract_machine

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software