Back to Results
First PageMeta Content
Logic in computer science / Lambda calculus / Programming language semantics / Symbol / Papyrus 1 / Immunoglobulin heavy chain


Implicit Self-Adjusting Computation for Purely Functional Programs Yan Chen Joshua Dunfield
Add to Reading List

Document Date: 2011-09-08 07:50:56

Open Document

File Size: 478,75 KB

Share Result on Facebook

City

Tokyo / /

Company

Case / /

Country

Japan / /

Currency

USD / /

/

Facility

Under store / /

IndustryTerm

changeable products / translation algorithm / type inference algorithm / type-guided translation algorithm / inference algorithm / type systems / flow-based type systems / information-flow type systems / deterministic translation algorithm / lation algorithm / /

Organization

Purely Functional Programs Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Max Planck Institute for Software Systems / /

Person

Sansom Jones / Peyton Jones / Chen Joshua Dunfield Matthew / /

Position

General / programmer / /

ProgrammingLanguage

Haskell / MLton / C / ML / Standard ML / /

Technology

inference algorithm / lation algorithm / translation algorithm / type inference algorithm / Terms Algorithms / deterministic translation algorithm / type-guided translation algorithm / /

SocialTag