![Mathematics / Functional programming / Functions and mappings / Currying / Partial application / Symbol / Function / Combinatory logic / De Bruijn index / Declarative programming / Lambda calculus / Software engineering Mathematics / Functional programming / Functions and mappings / Currying / Partial application / Symbol / Function / Combinatory logic / De Bruijn index / Declarative programming / Lambda calculus / Software engineering](https://www.pdfsearch.io/img/7d41619ce34fac942ca5e9e39e99e23d.jpg)
| Document Date: 2009-12-15 04:00:36 Open Document File Size: 255,20 KBShare 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 |