Gary T. Leavens  Home/Search
Context Related
| iastate.edu/techreports/TR9406b.ps iastate.edu/pub/tech_report...9406b.ps iastate.edu/pub/techreports/T...TR.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iastate.edu/techreport...catalog (more) From: iastate.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Good motivating examples for teaching the utility of curried functions can be taken from Physics. The curried function perspective can also be used to help functional programmers understand fields in Physics. The correspondence between the curried function view of vector fields and the usual view taken in Physics is also explained. 1 Introduction The earth and everything in it is held together by forces that can be modeled using curried functions. Yet many students think that curried functions ... (Update)
Context of citations to this paper: More
...this case the order of arguments does reflect the order implicit in the concept of the Newtonian gravitational field used in Physics. See [9] for more details on the relationship between curried functions and fields. RECOMMENDATION I recommend the use of such physical...
Cited by: More
A Physical Example For Teaching Curried Functions - Leavens (1996) (Correct)
Active bibliography (related documents): More All
0.2: Parallel Haskell: The vectorisation monad - Keith Clarke (1993) (Correct)
0.1: Events And Time In A Finite And Closed World - Lin (Correct)
0.1: A Combination of Nonstandard Analysis and Geometry Theorem.. - Fleuriot, Paulson (1998) (Correct)
Similar documents based on text: More All
0.3: On some Functional Aspects of Control - Danvy (1988) (Correct)
0.3: The Completeness of Order-Sorted Term Rewriting Systems is.. - Kawabe, Ishii (Correct)
0.3: Subtyping, Modular Specification, and Modular Verification.. - Leavens, Weihl (1994) (Correct)
BibTeX entry: (Update)
Gary T. Leavens. Fields in physics are like curried functions or physics for functional programmers. Technical Report 94-06b, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, May 1994. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu. http://citeseer.ist.psu.edu/leavens94fields.html More
@techreport{ leavens94fields,
author = "Gary T. Leavens",
title = "Fields in Physics are like Curried Functions or Physics for Functional Programmers",
number = "94-06b",
address = "Ames, Iowa, 50011",
year = "1994",
url = "citeseer.ist.psu.edu/leavens94fields.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
126 The Feynman Lectures on Physics (context) - Feynman, Leighton et al. - 1963
99 volume 5 of Graduate Texts in Mathematics (context) - Lane, the et al. - 1971
32 Scheme and the Art of Programming (context) - Springer, Friedman - 1989
17 Grundlagen der kombinatorischen Logik (context) - Curry - 1930
10 A Taste of Category Theory for Computer Scientists (context) - Pierce - 1988
9 Revised Report on SCHEME A Dialect of LISP (context) - Steele, Gerald - 1978
8 Mathematical Principles of Natural Philosophy (context) - Newton
4 North-Holland Pub (context) - Curry, Feys et al. - 1958
2 Translated by Peter Geach (context) - Frege, chapter et al. - 1984
1 The Contributions of Faraday and Maxwell to Electrical Scien.. (context) - Maxwell, Theory et al. - 1966
1 Editions du Griffon (context) - Dugas, of - 1955
1 Reprinted in volume 45 of the Great Books Series (context) - Faraday, Physical et al. - 1952
1 The Scientific Papers of James Clerk Maxwell (context) - Maxwell - 1974
1 University of Nebraska Press (context) - Physics - 1961
1 The Contributions of Faraday and Maxwell to Electrical Scien.. (context) - Tricker - 1966
Documents on the same site (http://www.cs.iastate.edu/tech-reports/catalog.html): More
Protective Interface Specifications - Leavens, Wing (1997) (Correct)
Stochastic Analysis of Periodic Timed Data Flow Diagrams with.. - Symanzik (1996) (Correct)
Weak Behavioral Subtyping for Types with Mutable Objects - Dhara, Leavens (1994) (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