SECD machine - CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Model of computation Functional programming topic Abstract machine
rdfs:label	SECD machine
owl:sameAs	dbr:SECD_machine
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Models_of_computation http://en.wikipedia.org/wiki/Category:Abstract_machines http://en.wikipedia.org/wiki/List_of_functional_programming_topics
skos:prefLabel	SECD machine
skos:altLabel	A systematic change in variables to avoid capture of a free variable can introduce error SECD SECD_machine
is clgo:knownFor of	Peter Landin

About: clgr:SECD_machine