Director string
id:
director-string-265-10407327
title:
Director string
text:
In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables in a term. Loosely speaking, they can be understood as a kind of memoization for free variables; that is, as an optimization technique for rapidly locating the free variables in a term algebra or in a lambda expression. Director strings were introduced by Kennaway and Sleep in 1982 and further developed by Sinot, Fernández and Mackie as a mechanism
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Director_string
date created:
date modified:
2020-02-18T17:47:03Z
main entity:
{"identifier":"Q5280581","url":"https://www.wikidata.org/entity/Q5280581"}
image:
fields total:
13
integrity:
13