Currying - PDFSEARCH.IO - Document Search Engine

Currying
Results: 21

#	Item
1	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
2	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter
3	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application
4	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 Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English* - Date: 2013-05-31 02:47:36 Lambda calculus Currying Functional programming Equation solving Logarithm Z-transform
5	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 Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2010-06-21 11:04:54 Software engineering Declarative programming Mathematics Type theory Functional programming Functions and mappings Polymorphism Computability theory Parametricity Auxiliary function Currying Functor
6	CURRYING HALL 09::30 IMMUTABILITY HALL FUNCTOR HALL Add to Reading List Source URL: www.lambdacon.org Language: English - Date: 2015-09-15 20:09:50
7	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 Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
8	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
9	 7  -      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:19 Functional programming Functions and mappings Lambda calculus Subroutines Higher-order functions Currying Function Anonymous function Derivative Software engineering Declarative programming Mathematics
10	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Mathematics Currying Partial application Apply Arity Variadic function Combinatory logic Scheme Declarative programming Software engineering Functional programming