Back to Results
First PageMeta Content
Computer science / Logic in computer science / Type theory / Data types / Subroutines / Simply typed lambda calculus / Normalization property / Combinatory logic / Type system / Lambda calculus / Theoretical computer science / Software engineering


Type-Directed Partial Evaluation Olivier Danvy  Computer Science Department Aarhus University y ()
Add to Reading List

Document Date: 2010-10-22 08:06:09

Open Document

File Size: 304,17 KB

Share Result on Facebook

Country

Denmark / /

/

Facility

Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University / /

IndustryTerm

car x0 / similar solution / n-ary product / normalization algorithm / similar normalization algorithm / ective solution / non-solution / car cdr / car xs / /

Organization

Danish National Research Foundation / Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University / eta / /

Person

Schism / Olivier Danvy / /

/

Position

direct-style interpreter / author / ine partial evaluator / continuation-style interpreter / nitional interpreter / corresponding de nitional interpreter / de nitional interpreter / strikingly simple partial evaluator / Tiny interpreter / partial evaluator / interpreter / /

ProgrammingLanguage

C / K / /

ProvinceOrState

New Brunswick / /

Technology

similar normalization algorithm / The algorithm / Scheme processor / normalization algorithm / /

URL

http /

SocialTag