Colin Runciman  Home/Search
Context Related
| cs.york.ac.uk/~colin/pape...jcl89.ps.gz 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: cs.york.ac.uk/~colin/pap...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A prime concern in the design of any general purpose programming language should be the ease and safety of working with natural numbers, particularly in conjunction with discrete data structures. This theme of commitment to the naturals as the basic numeric data type is explored in the context of a lazy functional language. Non-Title Keywords: structural correspondence, numeric types, total functions, closed systems, functional programming, lazy evaluation. (Update)
Context of citations to this paper: More
.... [6] data Maybe a = Just a Nothing is preferred to the C TIP representation of no changes which assigns special values to the bounds [4]. Now the Display and Line types can be defined as follows. type Display = DeltArray Line type Line = DeltArray Cell In order to define...
...not necessarily have to have to calculate the values of a and b to determine whether a b. Consider, for instance, the example given by [Run89b] complicated 1 0 where complicated is an expensive operation producing a natural number. We can clearly deduce from the...
Cited by: More
Development of a Prototype Geometric Modelling System using .. - Checkland, Runciman (1992) (Correct)
TIP in Haskell - another exercise in functional programming - Runciman (1991) (Correct)
Active bibliography (related documents): More All
0.1: Analysis and Efficient Implementation of Functional Programs - Sestoft (1991) (Correct)
0.1: Target code generation from G-machine code - Johnsson (1986) (Correct)
0.1: Two Models For Integrating Persistence and Lazy Functional.. - McNally, Davie (1991) (Correct)
Similar documents based on text: More All
0.1: New Dimensions in Heap Profiling - Runciman, Röjemo (1996) (Correct)
0.1: Scene Direction Based Reference In Drama Scenes - Hiroshi Nakagawa Yokohama (Correct)
0.1: Examples of Tecton Concept Descriptions - Kapur, Musser (1992) (Correct)
BibTeX entry: (Update)
C. Runciman. What about the natural numbers? Computer Languages, 14(3):181--91, 1989. http://citeseer.ist.psu.edu/runciman89what.html More
@article{ runciman89what,
author = "Colin Runciman",
title = "What About the Natural Numbers?",
journal = "Computer Languages",
volume = "14",
number = "3",
pages = "181-191",
year = "1989",
url = "citeseer.ist.psu.edu/runciman89what.html" }
Citations (may not include all citations):476 Programming Language (context) - Kernighan, Ritchie - 1988
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
206 Why Functional Programming Matters - Hughes - 1984
162 Programming in Modula (context) - Wirth - 1983
139 Recursive Functions of Symbolic Expressions and Their Comput.. - McCarthy - 1960
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
81 A proposal for Standard ML (context) - Milner - 1984
77 Pascal User Manual and Report (context) - Wirth - 1975
57 Exact Real Computer Arithmetic with Continued Fractions (context) - Vuillemin - 1988
49 CONS Should not Evaluate its Arguments (context) - Friedman, Wise - 1976
41 Strictness Analysis -- a Practical Approach (context) - Clack, Jones - 1985
38 Recursion Equations as a Programming Language (context) - Turner - 1982
34 Exact Real Arithmetic: A Case Study in Higher Order Programm.. (context) - Boehm, Cartwright et al. - 1986
32 A Lazy Evaluator (context) - Henderson, jr - 1976
19 The Semantic Elegance of Applicative Languages (context) - Turner - 1981
17 Path Semantics (context) - Bloss, Hudak - 1988
1 Functional Programming and Proofs of Program Correctness (context) - Turner - 1982
Documents on the same site (http://www.cs.york.ac.uk/~colin/papers/papers.html): More
Widening the Representation Bottleneck: A Functional.. - Cattrall, Runciman (1993) (Correct)
Binding-time Improvement and Fold/Unfold Transformation - Runciman (Correct)
Profiling Parallel Functional Computations (Without.. - Runciman, Wakeling (1993) (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