Back to Results
First PageMeta Content
Mathematics / Lambda calculus / Directed acyclic graph / B-tree / Tree traversal / Tree / Free variables and bound variables / T-tree / Linked list / Graph theory / Binary trees / Computing


Bottom-up β-reduction: uplinks and λ-DAGs (journal version) June 29, 2010 Olin Shivers
Add to Reading List

Document Date: 2010-07-08 22:05:21

Open Document

File Size: 311,89 KB

Share Result on Facebook

Company

Olin / /

/

IndustryTerm

β-reduction algorithm / upcopy algorithm / tree search / tree algorithm / type systems / client applications / functional upcopy algorithm / upwards-copying algorithm / type-manipulation systems / tree-copying algorithm / /

Person

Mitchell Wand / /

/

Position

director strings / /

Technology

previous algorithm / cloning / The algorithm / caching / functional upcopy algorithm / resulting algorithm / tree-copying algorithm / upwards-copying algorithm / upcopy algorithm / DAG-based β-reduction algorithm / previous tree algorithm / DAG-copy algorithm / /

SocialTag