See this document in CiteSeerX!

A Physical Example For Teaching Curried Functions (1996)  (Make Corrections)  (1 citation)
Gary T. Leavens
Mathematics and Computer Education



  Home/Search   Context   Related

 
View or download:
iastate.edu/pub/techreports/T...TR.ps.Z
iastate.edu/techreports/TR9505.ps
iastate.edu/pub/tech_reports...9505.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iastate.edu (more)
From:  iastate.edu
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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