FAQ

Director string

Known as: Director 
In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2005
012319882005

Related topics

Related topics

8 relations
Analysis of algorithmsBeta normal formComputationExplicit substitution
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Director string
Program optimization
Computation
Analysis of algorithms
Lambda calculus
Memoization

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Bottom-up β-reduction: uplinks and λ-DAGs
Representing a λ-calculus term as a DAG rather than a tree allows us to represent the sharing that arises from β-reduction, thus… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Lambda-Calculus with Director Strings
We present a name free λ-calculus with explicit substitutions, based on a generalised notion of director strings. Terms are… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting
The representation of free variables is crucial for the efficiency of the implementation of various kinds of rewrite systems. We… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
Bottom-up β-reduction : uplinks and λ-DAGs ∗ ( extended version )
If we represent a λ-calculus term as a DAG rather than a tree, we can efficiently represent the sharing that arises from… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2003
2003
Efficient Reductions with Director Strings
We present a name free λ-calculus with explicit substitutions based on a generalized notion of director strings: we annotate a… (More)
  • figure 1
Is this relevant?
1993
1993
Capturing Strong Reduction in Director String Calculus
 
Is this relevant?
1988
1988
Director Strings as Combinators
A simple calculus (the Director String Calculus-DSC) for expressing abstractions is introduced, which captures the essence of the… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
Is this relevant?