See this document in CiteSeerX!

TIP in Haskell another exercise in functional programming (1991)  (Make Corrections)  (2 citations)
Colin Runciman
Functional Programming, Glasgow 1991: Proceedings of the 1991 Workshop, Portree, UK



  Home/Search   Context   Related

 
View or download:
cs.york.ac.uk/~colin/pap...skye91.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.york.ac.uk/~colin/pap...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Requests and Responses Working from the C-TIP routine headers of Figure 1, it is a straightforward exercise to write most of the corresponding definitions of TipRequest and TipResponse shown in Figure 2. The introduction of the type YX for screen co-ordinates is perhaps the most immediately apparent change, but other less obvious changes are more significant. The new relationship of function and argument between TIP and the application means, first, that there is no need for requests Tstart... (Update)

Context of citations to this paper:   More

...of the area of a cell when this is not relevant. While some qualms have been expressed about the applicability of the Class system [Run91] in other applications, the class system was very useful in providing the lazy arithmetic packages. This was precisely the kind of...

...span SYSTEM(Input) readInt Figure 4. 8: Using the fpbu flag in HBC types with a function normal defined on them to force a value to whnf [45]. In our case we insert the conditional normal cycle into the code for biconB The same effect can be achieved by applying a...

Cited by:   More
Chapter 4 Purity, Impurity and Efficiency in Graph Algorithms - Ri Th Ms   (Correct)
Development of a Prototype Geometric Modelling System using .. - Checkland, Runciman (1992)   (Correct)

Active bibliography (related documents):   More   All
1.2:   Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)
0.1:   An Implementation of the Haskell Language - Spinellis (1990)   (Correct)
0.1:   Constructing Functional Programs for Grammar Analysis Problems - Jeuring, Swierstra (1995)   (Correct)

Similar documents based on text:   More   All
0.3:   The Construction of an SASL-Compiler - Grust (1997)   (Correct)
0.1:   Cross-Coding SDIF into MPEG-4 Structured Audio - Wright, Scheirer   (Correct)
0.1:   A Logical Basis for Functional Programming (Extended Abstract) - Shankar   (Correct)

Related documents from co-citation:   More   All
2:   Why functional programming matters - Hughes - 1984
2:   Report on the Programming Language Haskell: A Non-Strict (context) - Hudak - 1992

BibTeX entry:   (Update)

C. Runciman. TIP in Haskell -- another exercise in functional programming. In Fourth Annual Workshop on Functional Programming -- Draft proceedings, pages 525--538. Department of Computer Science, Glasgow University, 1991. http://citeseer.ist.psu.edu/runciman91tip.html   More

@inproceedings{ runciman92tip,
    author = "C. Runciman",
    title = "{TIP} in Haskell - Another Exercise in Functional Programming",
    booktitle = "Functional Programming, Glasgow 1991: Proceedings of the 1991 Workshop, Portree, {UK}",
    publisher = "Springer-Verlag",
    address = "Berlin, DE",
    editor = "R. Heldal and C. K. Holst and P. L. Wadler",
    isbn = "3-540-19760-5",
    pages = "278--292",
    year = "1992",
    url = "citeseer.ist.psu.edu/runciman91tip.html" }
Citations (may not include all citations):
333   Introduction to functional programming (context) - Bird, Wadler - 1988
254   Comprehending monads - Wadler - 1990
113   a non-strict purely functional language (context) - Hudak, Wadler et al. - 1990
51   The Implementation of Functional Languages Using Custom Hard.. (context) - Stoye - 1985
28   Interactive functional programs (context) - Thompson - 1987
26   Science of Computer Programming (context) - Spivey, theory et al. - 1990
24   Software --- Practice and Experience (context) - Thimbleby, of et al. - 1987
20   Linearity and laziness - Wakeling, Runciman - 1991
17   Non-strict languages --- programming and implementation - Wray, Fairbairn - 1989
10   Implementation and Programming Techniques for Functional Lan.. (context) - Wray - 1986
8   YACC in SASL --- an exercise in functional programming (context) - Jones - 1985
2   What about the natural numbers - Runciman - 1989

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