Currying - PDFSEARCH.IO - Document Search Engine

Currying
Results: 21

#	Item
11	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 Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
12	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 Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
13	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
14	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
15	4 Philippians 4:1-9 [removed] “Currying Worrying” INTRO: Add to Reading List Source URL: archives.ccmurrieta.com Language: English - Date: 2003-02-09 13:47:00 Emotions Stress Worry Mass Christianity Christian theology Anxiety
16	functional Programming in Ruby by Paul Barry What is Functional Programming? A programming paradigm that treats Add to Reading List Source URL: files.meetup.com Language: English - Date: 2010-04-12 14:29:51 Functional programming Lambda calculus Subroutines Higher-order functions Data types Partial application First-class function Currying Lazy evaluation Software engineering Declarative programming Computing
17	Labeled and optional arguments for Objective Caml∗ Jacques Garrigue† Abstract We added labeled and optional arguments to the Objective Caml language, combining currying and commutation. Contrary to a previous attempt Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Procedural programming languages Subroutines Functional languages Models of computation ML Named parameter Caml Lambda calculus ALGOL 68 Software engineering Computing Programming language theory
18	national leader in leather tanning and currying, but DIRECTIONS also in boot and shoe production. Second only to Lynn, Add to Reading List Source URL: www.nps.gov Language: English - Date: 2012-04-27 16:15:02 Grafton Massachusetts Uxbridge Massachusetts Grafton and Upton Railroad Grafton Blackstone River Valley National Heritage Corridor Sutton Massachusetts Millbury Massachusetts Blackstone River Northbridge Massachusetts Geography of Massachusetts Worcester County Massachusetts Massachusetts
19	A New Kind of Product of Ordinal Number of Relations having Ordinal Numbers of Arguments by Victor Porton Email: [removed] Web: http://www.mathematics21.org Abstract Infinite associativity is defined for functions Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-08 07:27:47 Elementary mathematics Functional programming Functions and mappings Arity Associative property Function Structure Currying Ordinal number Mathematics Abstract algebra Universal algebra
20	More Functional Reusability in C / C++ / Objective-c with Curried Functions WORKING PAPER Add to Reading List Source URL: asg.unige.ch Language: English - Date: 2004-11-08 14:55:02 Subroutines Functional programming Data types Lambda calculus Higher-order functions Currying Function type Apply C Software engineering Computing Computer programming