Back to Results
First PageMeta Content
Mathematics / Functional programming / Functions and mappings / Currying / Partial application / Symbol / Function / Combinatory logic / De Bruijn index / Declarative programming / Lambda calculus / Software engineering


Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy
Add to Reading List

Document Date: 2009-12-15 04:00:36

Open Document

File Size: 255,20 KB

Share Result on Facebook

City

Evry / /

Country

France / /

/

IndustryTerm

source-level curried applications / curried use site / semantic tool / over-applications / function applications / n-ary applications / richer type systems / partial applications / successive applications / /

Person

Xavier Leroy / Zaynah Dargaye / Peyton Jones / Xavier Leroy Source / Marlow Jones / B. Curry / Xavier Leroy Abstract / /

Position

Author / first author / editor / second author / Coq proof assistant / /

ProgrammingLanguage

Haskell / C / ML / Standard ML / Java / /

Technology

Alpha / functional programming / Gif / Java / /

URL

http /

SocialTag