Bibliography

Interactive Functional Programs (abstract)
Peter Achten
PhD Thesis, Katholieke Universiteit Nijmegen, Feb 1996.
PostScript Language Reference Manual
(no author)
Adobe Inc., Addison-Wesley, 1990.
A User's Guide to ALF
Thorsten Altenkirch, Veronica Gaspes, Bengt Nordström, Björn von Sydow
Chalmers University of Technology, Sweden, Available on the WWW ftp://ftp.cs.chalmers.se/pub/users/alti/alf.ps.Z, May 1994.
Lazy ML User's Manual
L. Augustsson, T. Johnsson
Programming Methodology Group, Department of Computer Sciences, Chalmers, S--412 96 Göteborg, Sweden, Distributed with the LML compiler., 1993.
A functional animation starter-kit
Kavy Arya
In Journal of Functional Programming, Vol. 4, No. 1, pp. 1-18, January 1994.
The HBC compiler
Lennart Augustsson
1997.
The Abstract Window Toolkit
(no author)
.
Can Programming be Liberated from the von Neumann Style? A functional style and its algebra of programs
J. Backus
In Communications of the ACM, Vol. 21, pp. 280--294, August 1978.
The Chemical Abstract Machine
G. Berry, G. Boudol
In ACM Principles of Programming Languages, pp. 81--94, San Francisco, CA, Jan 1990.
Recursive Programming Techniques
W. H. Burge
Addison-Wesley Publishing Company, Reading, Mass., 1975.
Non-determinism with Referential Transparency in Functional Programming Languages
W. Burton
In The Computer Journal, Vol. 31, No. 3, 1988.
Amber
Luca Cardelli
In Combinator and Functional Programming Languages, LNCS, No. 242, pp. 21--47, Springer Verlag, 1986.
The Glasgow GUI Fest 1995
Magnus Carlsson
July 1995.
Fudgets - Graphical User Interfaces and I/O in Lazy Functional Languages
M. Carlsson, T. Hallgren
May 1993.
Fudgets - A Graphical User Interface in a Lazy Functional Language (abstract)
M. Carlsson, T. Hallgren
In FPCA '93 - Conference on Functional Programming Languages and Computer Architecture, pp. 321--330, ACM Press, June 1993.
Fudget Library Reference Manual
Magnus Carlsson, Thomas Hallgren
1997.
Functional Pearl: A Poor Man's Concurrency Monad
Koen Claessen
In Journal of Functional Programming, 1998.
A Brief Walk Through KAOS
Cupitt, J.
Tech. Report , No. 58, Computing Laboratory, University of Kent, Canterbury, UK, 1989.
Structuring Graphical Paradigms in TkGofer
Koen Claessen, Ton Vullinghs, Erik Meijer
In International Conference on Functional Programming, ACM, June 1997.
On Understanding Types, Data Abstraction, and Polymorphism
Luca Cardelli, Peter Wegner
In Computing Surveys, Vol. 17, No. 4, pp. 471--522, December 1985.
Functions and Dynamic User Interfaces
A. Dwelly
In Proceedings of ACM, pp. 371--381, 1989.
Functional Reactive Animation
Conal Elliott
In Proc. International Conference on Functional Programming 1997 (ICFP'97), Amsterdam, The Netherlands, June 1997.
Wilbur - HTML 3.2
Arnoud Engelfriet
1997.
Concurrent Haskell (abstract)
Sigbjörn Finne, Andrew Gordon, Simon Peyton Jones
In 23'rd Conference on The Principles of Programming Languages, pp. 295--308, St Petersburg, Florida, January 1996.
Pictures: A Simple Structured Graphics Model
Sigbjorn Finne, Simon Peyton Jones
In Glasgow Workshop on Functional Programming, Ullapool, 1995.
The Java Language Specification
James Gosling, Bill Joy, Guy Steele
Addison-Wesley, 1996.
PFL+ : A kernel scheme for functional I/O.
Andrew Gordon
Tech. Report , No. Technical Report 160, University of Cambridge Computer Laboratory, February 1989.
Functional Programming and Input/Output
Andrew D. Gordon
PhD Thesis, King's College, University of Cambridge, August 1992.
The eXene widgets manual
E.R. Gansner, J. Reppy
June 1991.
Introduction to Real-time Multi-user Games Programming in LML
T. Hallgren
Tech. Report , No. Memo 89, Department of Computer Sciences, Chalmers, S--412 96 Göteborg, Sweden, January 1990.
Alfa Home Page
Thomas Hallgren
1997.
Programming with Fudgets (abstract)
Thomas Hallgren, Magnus Carlsson
In J. Jeuring and E. Meijer, Advanced Functional Programming, pp. 137-182, Springer Verlag, LNCS 925, 1995.
The Fudgets Home Page
Thomas Hallgren, Magnus Carlsson
1997.
The Brisk Project: Concurrent and Distributed Functional Systems (abstract)
Ian Holyer, Neil Davies, Chris Dornan
Tech. Report , No. CSTR-95-015, Department of Computer Science, University of Bristol, June 1995.
Functional Geometry
P. Henderson
In Conference Record of the 1982 Symposium on LISP and Functional Programming, Pittsburgh, PA, ACM, New York, NY, 1982.
pfl: A Parallel Functional Language and Its Implementation
Sören Holmström
PMG Memo, No. 7, Programming Methodology Group, Chalmers University of Technology, Göteborg, 1983.
A Linear Functional Language
Sören Holmström
In Proceedings of the 1988 Workshop on Implementation of Lazy Functional Languages, 1988.
A gentle introduction to Haskell, Version 1.4
Paul Hudak, John Peterson, Joseph Fasel
March 1997.
Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2)
Hudak, Paul, Peyton Jones, Simon L., Wadler (editors), Philip
In SIGPLAN Notices, Vol. Mar, 1992.
The Glasgow Haskell Compiler
Simon Peyton Jones, others
1997.
PolyP - a polytypic programming language extension
P. Jansson, J. Jeuring
In POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 470--482, ACM Press, 1997.
Type Classes: an exploration of the design space
Simon Peyton Jones, Mark Jones, Erik Meijer
In Proceedings of Haskell Workshop, Amsterdam, Holland, 1997.
Green Card: a foreign language interface for Haskell
Simon Peyton Jones, Thomas Nordin, Alastair Reid
In Proceedings of Haskell Workshop, Amsterdam, Holland, 1997.
Yacc---Yet Another Compiler Compiler
S. C. Johnson
Tech. Report , No. 32, Bell labs, Also in unix Programmer's Manual, Volume 2B, 1975.
Release notes for Gofer 2.21
Mark P. Jones
Tech. Report , Department of Computer Science, Yale University, Included as part of the standard Gofer distribution, November 1991.
A system of constructor classes: overloading and implicit higher-order polymorphism. (abstract)
Jones, Mark P.
In Functional Programming and Computer Architecture, Copenhagen, Denmark, June 1993.
Functional Programming and Operating Systems
S.B. Jones, F. Sinclair
In The Computer journal, Vol. 32, No. 2, pp. 162--174, 1989.
Another Look at Full Laziness
Kent Karlsson
In Demand Analysis and Compilation of Lazy Functional Programs, Department of Computer Sciences, Chalmers University of Technology, Department of Computer Sciences, University of Göteborg, Göteborg, Sweden, September 1992.
Coroutines and networks of parallel processes
Gilles Kahn, David B. MacQueen
In B. Gilchrist, Information Processing 77, pp. 993-998, North-Holland, 1977.
Managing for usability
Charles Kreitzberg
In Antone F. Alber, Multimedia: a management perspective, Wadsworth, Belmont, CA, 1996.
Combining Type Classes and Existential Types (abstract)
Konstantin Läufer
In Proc. Latin American Informatics Conference (PANEL), ITESM-SEM, Mexico, September 1994.
A Correspondence between Algol 60 and Church's Lambda Notation: part 1
P. J. Landin
In Communications of the ACM, Vol. 8, No. 2, pp. 89--100, 1965.
Lazy Functional State Threads (abstract)
J. Launchbury, S. Peyton Jones
In Programming Languages Design and Implementation, ACM Press, Orlando, 1994.
An Extension of ML with First-Class Abstract Types (abstract)
Konstantin Läufer, Martin Odersky
In Proc. Workshop on ML and its Applications, ACM SIGPLAN, San Francisco, June 1992.
A basis for a mathematical theory of computations (abstract)
J. McCarthy
In P. Braffort and D. Hirschberg, Computer Programming and Formal Systems, pp. 33--70, North-Holland, 1963.
A Calculcus of Communicating Systems
Robin Milner
Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980.
The NetBSD Project
(no author)
.
Netscape
(no author)
.
The pHluid System
R.S. Nikhil
June 1995.
Lazy Functional Components for Graphical User Interfaces (abstract)
Noble, Rob
PhD Thesis, Dept. of Computer Science, University of York, Heslington, York, Y01 55D, England, November 1995.
Functional Languages and Graphical user Interfaces - a review and a case study
R. Noble, C. Runciman
Tech. Report , No. YCS-94-223, Dept. of Comp. Sci., Univ. of York, Heslington, York, Y01 55D, England, 1994.
Gadgets: Lazy Functional Components for Graphical User Interfaces (abstract)
Rob Noble, Colin Runciman
In Hermenegildo, Manuel and Swierstra, S. Doaitse, PLILP'95: Seventh International Symposium on Programming Languages, Implementations, Logics and Programs, Lecture Notes in Computer Science, Vol. 982, pp. 321-340, Springer-Verlag, Sept 95.
Xlib reference manual, volume 2
Nye, A.
O'Reilly & Associates, Inc., 1990.
Dialogues: A Basis for Constructing Programming Environments
John T. O'Donnell
In SIGPLAN Notices, Vol. 20, No. 7, pp. 19-27, Proceedings of the 1985 Symposium on Language Issues in Programming Environments, 1985.
Tcl and the Tk toolkit
J.K. Ousterhout
Addison Wesley, 1994.
Pizza into Java: Translating theory into practice
Martin Odersky, Philip Wadler
In Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997.
The Haskell Home Page
John Peterson
1997.
The Haskell Library Report, Version 1.4
J. Peterson, K. Hammond
Tech. Report , Yale University, 1997.
The Haskell Report, Version 1.4
J. Peterson, K. Hammond
Tech. Report , Yale University, 1997.
Concurrent Clean Language Report
Rinus Plasmeijer, Marko van Eekelen
Avalible from the Concurrent Clean Home Page: verb!www.cs.kun.nl/ clean!, 1996.
CML: A Higher-order Concurrent Language
J. Reppy
In Proceedings of the SIGPLAN'91 Conference on Programming Language Design and Implementation, pp. 293--305, June 1991.
CML: A Higher-order Concurrent Languages
J. Reppy
In Proceedings of the SIGPLAN'91 Conference on Programming Language Design and Implementation, pp. 293--305, 1991.
The eXene library manual
J. Reppy, E.R. Gansner
June 1991.
Implementing Fudgets with Standard Widget Sets (abstract)
Reid, A., Singh, S.
In Glasgow functional programming workshop, pp. 222--235, Springer-Verlag, 93.
Four Concurrency Primitives for Haskell
E. Scholz
In Proc. Haskell Workshop, pp. 1--12, Available as Yale University Research Report YALEU/DCS/RR-1075, La Jolla, CA, 1995.
PIDGETS: Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming
Enno Scholz
In Herbert Kuchen and S. Doaitse Swierstra, PLILP'96: Eighth International Symposium on Programming Languages, Implementations, Logics and Programs, LNCS, No. 1140, pp. 363-377, September 1996.
BriX - A Deterministic Concurrent Functional X Windows System (abstract)
Serrarens, Pascal
Tech. Report , Department of Computer Science, University of Bristol,, June 1995.
The X Window System
R.W. Scheifler, J. Gettys
In ACM Transactions on Graphics, Vol. 5, No. 2, April 1986.
Designing the user interface: strategies for effective human-computer interaction
Ben Shneiderman
Addison Wesley, 1998.
Using XView/X11 from Miranda
S. Singh
In Heldal and others, Glasgow Workshop on Functional Programming, 1991.
Lazy Wafe - Graphical Interfaces for Functional Languages
D.C. Sinclair
Draft., 1992.
Sisal Language Project
(no author)
1996.
Standard ML of New Jersey
(no author)
.
A new scheme for writing functional operating systems
W.R. Stoy
Tech. Report , No. 56, Computer Laboratory, Cambridge University, 1984.
On-line Information about Standard ML
Chris Stone
1997.
Embracing Windows (abstract)
Colin J. Taylor
Technical Report, No. NOTTCS-TR-96-1, Department of Computer Science, University of Nottingham, Nottingham, UK, October 1996.
MIRAX - An X-window Interface for the Functional Programming Language Miranda
M. Tebbs
Tech. Report , School of Engineering and Applied Science, University of Durham, April 1991.
Interactive Functional Programming
S. Thompson
In .
Facile Antigua Release -- Programming Guide
B. Thomsen, L. Leth, S. Prasad, T.-S. Kuo, F. Kabe, A. Giacalone
Tech. Report , No. ECRC-93-20, European Computer-Industry Reserach Center GmbH, 1993.
An Introduction to the Functional Programming Language H
Staffan Truvé
1994.
Functional Programming and Communicating Processes
Turner, David
In de Bakker, J. W. and Nijman, A. J. and Treleaven, P. C., PARLE '87 Parallel Architectures and Languages Europe, Volume 2: Parallel Languages, Lecture Notes in Computer Science, Vol. 259, pp. 54--74, Springer, Berlin, Eindhoven, The Netherlands, June 15--19, 1987.
An Approach to functional operating systems
D.A. Turner
In .
Research topics in Functional Programming
D.A. Turner
Addison-Wesley Publishing Company, 1990.
Lightweight GUIs for functional programming
T. Vullinghs, D. Tuijnman, W. Schulte
In Proceedings 7th International Symposium PLILP95, LNCS, Vol. 982, Springer Verlag, September 1995.
Monads for functional programming
Philip Wadler
In J. Jeuring and E. Meijer, Advanced Functional Programming, LNCS, No. 925, pp. 24-52, Springer Verlag, May 1995.
The X Window System : Programming and Applications with Xt. OSF/Motif Edition
D.A. Young
Prentice Hall, 1990.