(Enter summary)
Abstract: Curried functions are an important topic in Computing courses that teach functional
programming, including courses that study programming languages. Good motivating
examples for teaching curried functions and their utility can be taken from Physics.
BACKGROUND
Curried functions and currying are an important topic in computer science
courses that teach functional programming [14, section 7.3]. Such courses include undergraduate
courses in programming paradigms (unit PL11 in the ACM's
... (Update)
Context of citations to this paper: More
...3. 25.1 A Variation on Currying An alternative method to define the elements of a routine is a variation on currying [Curry : C] Curry : Teaching] For example, given the routine add(a,b; c) c=a b; then the statement incr(i; j) is add(1,i; j) defines add and 1 to be elements...
Cited by: More
Task System and Item Architecture (TSIA) - Steinmacher-Burow (1999)
(Correct)
Similar documents (at the sentence level):
18.2%: Fields in Physics are like Curried Functions or Physics for.. - Leavens (1994)
(Correct)
Active bibliography (related documents): More All
0.2: CPS109 - Computer Science 1 - Mason (1997)
(Correct)
0.2: Parallel Haskell: The vectorisation monad - Keith Clarke (1993)
(Correct)
0.2: Aiding Self-motivation with Readings in Introductory Computing - Gary Leavens
(Correct)
Similar documents based on text: More All
0.5: The Completeness of Order-Sorted Term Rewriting Systems is.. - Kawabe, Ishii
(Correct)
0.4: Confluence of Curried Term-Rewriting Systems - Kahrs (1995)
(Correct)
0.4: On some Functional Aspects of Control - Danvy (1988)
(Correct)
BibTeX entry: (Update)
Gary T. Leavens. "A Physical Example for Teaching Curried Functions", Mathematics and Computer Education, Vol. 30, No. 1, Winter 1996, pp. 51-60. (Also available at ftp://ftp.cs.iastate.edu/pub/techreports/TR95-05/TR.ps.Z). http://citeseer.ist.psu.edu/leavens96physical.html More
@article{ leavens96physical,
author = "Gary T. Leavens",
title = "A Physical Example for Teaching Curried Functions",
journal = "Mathematics and Computer Education",
volume = "30",
number = "1",
month = "Winter",
pages = "51--60",
year = "1996",
url = "citeseer.ist.psu.edu/leavens96physical.html" }
Citations (may not include all citations):
430
Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
362
ML for the Working Programmer (context) - Paulson - 1991
227
Kernighan and Dennis M (context) - Brian - 1988
106
Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
32
Scheme and the Art of Programming (context) - Springer, Friedman - 1989
28
An Introduction to Functional Programming Systems using Hask.. (context) - Davie - 1992
17
Grundlagen der kombinatorischen logik (context) - Curry - 1930
16
Computing Curricula (context) - Tucker, Barnes - 1991
14
Programming Languages: An Interpreter-Based Approach (context) - Kamin - 1990
10
Principles of Programming Languages (context) - MacLennan - 1987
9
Friedman and Matthias Felleisen (context) - Daniel - 1987
4
North-Holland Pub (context) - Curry, Feys et al. - 1958
2
Translated by Peter Geach (context) - Frege, chapter et al. - 1984
1
Fields in physics are like curried functions or physics for ..
- Leavens - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.iastate.edu.html): More
Polymorphic Type-Checking in Scheme - Jenkins, Leavens (1996)
(Correct)
Weighted Search in the Plane - Agarwala, Fernández-Baca (1994)
(Correct)
Properties of Genetic Representations of Neural Architectures - Balakrishnan, Honavar (1995)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC