Sandra Periam Foubister  @ NUS Home/Search
Context Related
| cs.york.ac.uk/ftpdir/...YCST9510.ps.Z cs.york.ac.uk/reports...YCST9510.ps.Z icbl.hw.ac.uk/~sandra...YCST9510.ps.Z Cached: PS.gz PS PDF Image Update Help From: cs.york.ac.uk/ftpdir/reports/ (more) From: fermivista.math...p.cs.york.ac.uk (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Mere academic toys or the tools of the future? Lazy functional programming languages have undoubted attractive properties. This thesis explores their potential, from the programmer's point of view, for implementing interactive and graphical applications to which they do not seem immediately suited. The discussion is centred round two example applications. One is a graphical design program based on an idea of the artist M. C. Escher. The thesis argues that the graphical user interface may be... (Update)
Context of citations to this paper: More
...1 , with possibilities This work was supported by a SERC grant to the first author and is described further in her D.Phil. thesis [3]. 1 See for example pp 33 34 in [7] of focusing in on interesting looking regions, skipping over unwanted details of the reduction, and...
Cited by: More
Techniques for Simplifying the Visualization of Graph Reduction - Foubister, Runciman (Correct)
Active bibliography (related documents): More All
1.4: Functional Languages and Graphical User Interfaces - a review .. - Noble, Runciman (1994) (Correct)
1.1: User Interface Languages: A Survey of Existing Methods - Abowd, Bowen, Dix.. (1989) (Correct)
1.0: An Embryo to a Debugger for Haskell - Sparud (1994) (Correct)
Similar documents based on text: More All
0.0: A Study of the Operational Behaviour of Escher and its.. - Eder (1999) (Correct)
0.0: Declarative Programming in Escher - Lloyd (1995) (Correct)
0.0: Toys and Technology - Upitis (1995) (Correct)
BibTeX entry: (Update)
Sandra P. Foubister. Graphical application and visualization of lazy functional computation. D.Phil thesis, University of York, 1995 (forthcoming). http://citeseer.comp.nus.edu.sg/141920.html More
@misc{ foubister95graphical,
author = "S. Foubister",
title = "Graphical application and visualization of lazy functional computation",
text = "Sandra P. Foubister. Graphical application and visualization of lazy functional
computation. D.Phil thesis, University of York, 1995 (forthcoming).",
year = "1995",
url = "citeseer.comp.nus.edu.sg/141920.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
293 The essence of functional programming - Wadler - 1992
258 Miranda: A Non-Strict Functional Language with Polymorphic T.. (context) - Turner - 1985
254 Comprehending Monads - Wadler - 1990
244 Imperative Functional Programming - Jones, Wadler - 1993
217 Human-computer interaction (context) - Dix, Finlay et al. - 1993
206 Why Functional Programming Matters - Hughes - 1989
202 Envisioning information (context) - Tufte - 1990
143 A new implementation technique for applicative languages (context) - Turner - 1979
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
103 ACM Transactions on Graphics (context) - Scheifler, Gettys et al. - 1986
95 HOPE: An Experimental Applicative Language - Burstall, MacQueen et al. - 1980
86 A correspondence between ALGOL 60 and Church's Lambda Notati.. (context) - Landin - 1965
81 A Proposal for Standard ML (context) - Milner - 1984
72 Semantics and pragmatics of the lambda calculus (context) - Wadsworth - 1971
71 Abstract Interpretation and Optimising Transformations for A.. (context) - Mycroft - 1981
70 A Standard ML compiler - Appel, MacQueen - 1987
67 Recursive Programming Techniques (context) - Burge - 1975
65 How to Replace Failure by a List of Successes (context) - Wadler - 1985
64 The Chalmers Lazy ML compiler (context) - Augustsson, Johnsson - 1989
63 FUDGETS: A Graphical User Interface in a Lazy Functional Lan.. - Carlsson, Hallgren - 1993
53 Using circular programs to eliminate multiple traversals of .. (context) - Bird - 1984
51 The implementation of functional languages using custom hard.. (context) - Stoye - 1985
49 Heap profiling of lazy functional programs - Runciman, Wakeling - 1992
41 A survey of three dialogue models - Green - 1986
37 Purely functional operating systems (context) - Henderson - 1982
36 an execution model and graphical debugger for logic programm.. (context) - Eisenstadt, Brayshaw et al. - 1988
35 Implementing functional languages: a tutorial (context) - Jones, Lester - 1992
32 Debugging Standard ML Without Reverse Engineering - Tolmach, Appel - 1990
31 Algorithmic Debugging of Lazy Functional Languages (context) - Nilsson, Fritzson - 1992
24 Functional programs as executable specifications (context) - Turner - 1985
21 Functional Geometry (context) - Henderson - 1982
21 High level specification of I/O in functional languages - Achten, van Groningen et al. - 1992
21 Navigational techniques to improve the display of large two-.. (context) - Beard - 1990
19 The implementation of practical functional programming langu.. (context) - Perry - 1990
19 Fixing some Space Leaks without a Garbage Collector - Sparud - 1993
18 Execution profiling for non-strict functional languages - Sansom - 1994
17 Statistics on Graph Reduction of SASL Programs (context) - Hartel, Veen - 1988
17 Fixing Some Space Leaks with a Garbage Collector - Wadler - 1987
15 Message-based functional operating systems (context) - Stoye - 1986
14 the Expressiveness of Purely Functional I/O Systems - Hudak, Sundaresh - 1988
13 Springer-Verlag (context) - Gosling, Rosenthal et al. - 1989
12 Making Form Follow Function: An Exercise in Functional Progr.. (context) - Fairbairn - 1987
12 Lexical Profiling: Theory and Practice (context) - Clack, Clayman et al. - 1993
11 Monitoring Semantics: A Formal Framework for Specifying (context) - Kishon, Hudak et al. - 1991
10 Implementation and programming techniques for functional lan.. (context) - Wray - 1986
10 IEEE Transactions on Software Engineering (context) - Henderson, formal et al. - 1986
10 Adapting combinator and SECD machines to display snapshots o.. (context) - Toyn, Runciman - 1986
10 Debugging in applicative languages (context) - O'Donnell, Hall - 1988
10 Debugging in a side effect free programming environment (context) - Hall, O'Donnell - 1985
9 Exploratory Environments for Functional Programming (context) - Toyn - 1987
8 Functions and Dynamic User Interfaces (context) - Dwelly - 1989
8 Interactive Programs in a Functional Language: A Functional .. (context) - Koopman - 1987
8 Interactive Computer Graphics (context) - Burger, Gillies - 1989
8 Heap profiling of a lazy functional compiler - Runciman, Wakeling - 1992
8 Dialogues: A basis for constructing programming environments (context) - O'Donnell - 1985
7 A debugging environment for functional programming in Centau.. (context) - Kamin - 1990
7 Formal methods and interactive systems: Principles and pract.. (context) - Dix - 1988
7 Design and implementation of a simple typed language based o.. (context) - Fairbairn - 1985
7 Circular programs and self-referential structures (context) - Allison - 1989
7 Steps Toward Better Debugging Tools for Lisp (context) - Lieberman - 1984
6 SOFTWARE -- Practice and Experience (context) - Graham, Kessler et al. - 1983
6 Profiling Lazy Functional Languages - Sansom, Jones - 1992
5 SOFTWARE -- Practice and Experience (context) - Vaucher, trees - 1980
5 An algorithmic and semantic approach to debugging in Haskell (context) - Hall, Hammond et al. - 1990
5 Processes in a Functional Animation System (context) - Arya - 1989
4 Real programming in functional languages (context) - Morris - 1982
4 UK research in functional programming (context) - Jones - 1992
4 SOFTWARE -- Practice and Experience (context) - Bloesch, of - 1993
4 Language Application Interface (context) - Uhler, -- - 1988
4 prof command (context) - manual - 1979
3 a Virtual Machine for Applicative Multiprogramming (context) - Abramsky, Sykes - 1985
2 A Proposal for Interactive Debugging of ML Programs (context) - Kieburtz - 1985
2 Higher-Order Functional Programs (context) - Clayman, Parrott et al. - 1991
2 Special issue on the functional programming language Haskell (context) - Fasel, Hudak et al. - 1992
2 IBM Research Division (context) - Backus, Williams et al. - 1989
2 Modelling Generic User-Interfaces with Functional Programs (context) - Cook - 1986
2 Giving control back to the user (context) - Dix - 1987
2 ECS -- A technique for the formal specification and rapid pr.. (context) - Alexander - 1986
2 A System For Representing The Evaluation of Lazy Functions (context) - Taylor - 1991
2 Lazy Debugging of Functional Programs (context) - Snyder - 1990
2 The Magic Mirror of M (context) - Ernst - 1976
2 and Inter-language calling for Functional Languages (context) - Perry - 1989
2 Concurrent Clean language manual (context) - van Eekeken, Huitema et al. - 1993
1 Profiling in the presence of optimisation and garbage collec.. (context) - Appel, Duba et al. - 1988
1 From abstract models to functional prototypes (context) - Runciman - 1990
1 Computer Science Department (context) - Johnson, manual - 1987
1 behaviour of functional programs with feedback (context) - Dwelly - 1988
1 Presenting the evaluation of lazy functions (context) - Taylor - 1995
1 Software Development in Declarative Languages (context) - Darlington - 1987
1 UKC Computing Laboratory Report No (context) - Thompson, Programs et al. - 1986
1 Elsevier Science Publishers B (context) - Escher, at - 1986
1 The Formal Analysis of a Functional Animation System (context) - Arya - 1988
1 distributed with the Yale Haskell compiler (context) - Sheng, Interface - 1993
1 Design of the APIARY for Actor Systems (context) - Hewitt - 1980
1 Graphical Design (context) - Foubister - 1995
1 Patterning the graphical interface in the functional style (context) - Foubister, Runciman - 1991
1 Gofer - functional programming environment Version (context) - Jones - 1991
Documents on the same site (http://www.cs.york.ac.uk/ftpdir/reports/): More
TAM Technical Notes 1 and 2 - Scholefield (1993) (Correct)
Debugging Distributed Ada Programs - Briggs, Jamieson, Randall, Wand (1994) (Correct)
Structuring Architectural Topologies for Real-Time.. - Nicholson, Burns (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.