Back to Results
First PageMeta Content
Theoretical computer science / Lambda calculus / Computability theory / Evaluation strategy / Calculus / Free variables and bound variables / Function / Parameter / Algorithm / Mathematics / Mathematical logic / Applied mathematics


The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang | matthias } @ ccs.neu.edu
Add to Reading List

Document Date: 2012-08-23 01:51:44

Open Document

File Size: 386,11 KB

Share Result on Facebook

Company

Felleisen / Ariola / /

Country

United States / /

Facility

Matthias Felleisen College of Computer Science Northeastern University Boston / /

IndustryTerm

tighter solution / deterministic algorithm / extreme solution / proper solution / analytic tool / /

Organization

Matthias Felleisen College of Computer Science Northeastern University Boston / /

Person

Matthias Felleisen Using / Stephen Chang / Casey Klein / Matthias Felleisen / /

Position

evaluator / programmer / /

ProgrammingLanguage

Lambda Calculus / C / ISWIM / /

ProvinceOrState

Massachusetts / /

Technology

deterministic algorithm / /

SocialTag