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


Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology
Add to Reading List

Document Date: 2005-04-26 17:10:34

Open Document

File Size: 258,05 KB

Share Result on Facebook

City

Arhus / /

Company

Olin / /

Country

Denmark / /

/

Facility

University of Arhus / Olin Shivers† Georgia Institute / /

IndustryTerm

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

Organization

Northeastern University / Department of Computer Science / Georgia Institute of Technology / University of Arhus / /

Person

Mitchell Wand / /

Position

director strings / /

Technology

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

URL

http /

SocialTag