Back to Results
First PageMeta Content
Lambda calculus / Recursion / Lambda lifting / Closure / Fold / Free variables and bound variables / Parameter / Blocks / Software engineering / Computing / Subroutines


BRICS Basic Research in Computer Science BRICS RS-97-6 Danvy & Schultz: Lambda Dropping
Add to Reading List

Document Date: 1997-06-05 09:12:44

Open Document

File Size: 290,96 KB

Share Result on Facebook

City

Amsterdam / Semantics / /

Country

Netherlands / Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / /

/

IndustryTerm

post-processing phase / definition site / pre-processing phase / /

Organization

Danish National Research Foundation / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Eta / /

Person

Peyton Jones / Olivier Danvy / /

/

Position

definitional interpreter / /

ProgrammingLanguage

C / /

RadioStation

Work 7.1 / /

Technology

functional programming / /

URL

ftp /

SocialTag