Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper

Source URL: www.idt.mdh.se

• Higher-order functions
• Functional programming
• Subroutines
• Lambda calculus
• Programming language comparisons
• Fold
• Currying
• Map
• Function
• Recursion
• Standard ML
• OCaml

ń* : Beyond Currying Jason Hemann

Source URL: webyrd.net

• Lambda calculus
• Functional programming
• Partial application
• Currying
• Apply
• Anonymous function
• Arity
• Combinatory logic
• Scheme
• Parameter

simply typed λ-calculus logical verification week

Source URL: www.cs.ru.nl

• Lambda calculus
• Anonymous function
• Currying
• Simply typed lambda calculus
• Type theory
• Function
• Combinatory logic
• Partial application

Polynomial Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda (Tohoku University) Kazuhiro Inaba (National Institute of Informatics*) Keisuke Nakano (the University of Elec

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Currying
• Functional programming
• Equation solving
• Logarithm
• Z-transform

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

CURRYING HALL 09::30 IMMUTABILITY HALL FUNCTOR HALL

Source URL: www.lambdacon.org

The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s

Source URL: www.dreamsongs.com

• Declarative programming
• Fixed-point combinator
• Closure
• Function
• Combinatory logic
• Currying
• Factorial
• Binary lambda calculus
• Mathematics
• Lambda calculus
• Software engineering

Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University  ()

Source URL: repository.readscheme.org

• Functional programming
• Partial evaluation
• Standard ML
• Continuation-passing style
• Pattern matching
• Eval
• Monad
• Scheme
• Currying
• Software engineering
• Declarative programming
• Computing

 7  -     

Source URL: hop.perl.plover.com

• Functional programming
• Functions and mappings
• Lambda calculus
• Subroutines
• Higher-order functions
• Currying
• Function
• Anonymous function
• Derivative
• Software engineering
• Declarative programming
• Mathematics

ń* : Beyond Currying Jason Hemann

Source URL: www.schemeworkshop.org

• Lambda calculus
• Mathematics
• Currying
• Partial application
• Apply
• Arity
• Variadic function
• Combinatory logic
• Scheme
• Declarative programming
• Software engineering
• Functional programming