[Up]


Bibliography

Warning: not all references are here yet, especially in the operating systems section.

Language Standards and Definitions

Ada 83 Language Reference Manual,
ANSI Standard ANSI/MIL-STD-1815A-1983, (1983).

Programming Language Ada, Language and Standard Libraries (Draft Version 5.0),
Proposed ANSI/ISO Standard ISO/IEC CD 865, (June 1994).

Programming Language C, Language and Standard Libraries,
ANSI Standard X3.159-1989, ISO Standard 9899:1990, (1989/90).

P.J. Plauger, The Standard C Library,
Prentice Hall, (1992).

M.C.J.D. van Eekelen, E.G.J.M.H. Nöcker, M.J. Plasmeijer, and J.E.W. Smetsers,
"Concurrent Clean"
Technical Report 89-18, University of Nijmegen, (1989).

COBOL 9x.

G.L. Steele,
Common Lisp, the Language, 2nd Edition
,
Digital Press, ISBN 1-55558-041-6, (1990).

Fortran 9x.

P. Hudak, S.L. Peyton Jones, P.L. Wadler (eds.) et al.,
Report on the Functional Programming Language Haskell: A Non-strict, Purely Functional Language, Version 1.2.
ACM SIGPLAN Notices, 27(5) (March 1992).

N. Wirth,
Programming in Modula-2,
Springer-Verlag, (1983).

Modula-3: Language definition.

G. Nelson (ed.),
System Programming with Modula-3,
Prentice Hall Series in Innovative Technology, ISBN 0-13-590464-1. (1991).

A.J.R. Milner and M. Tofte,
The Definition of Standard ML,
MIT Press, 1990.


Operating System References

Berkeley Unix 4.3.

Macintosh System 7.

MS-DOS.

OS/2.

OSF/1.

POSIX.

Solaris.

SunOS 4.1.3.

Unix System V.

VMS.

Win16.

Win32.

Windows 3.1.

Windows NT.

Windows95.


I/O in Functional Programming Languages

P. Achten and M.J. Plasmeijer,
"The Ins and Outs of Clean I/O", (1994).

J. Cupitt,
"A brief walk through KAOS".
Technical Report 58, Computing Laboratory, UKC, Canterbury, Kent, (February 1989).

A.D. Gordon,
Functional Programming and Input/Output.
Distinguished Dissertations in Computer Science, Cambridge University Press, (1994).

J. Launchbury and S.L. Peyton Jones,
Lazy Functional State Threads.
Proc. ACM Conf. on Prog. Lang. Design and Implementation (PLDI '94), (1994).

N. Perry,
The Implementation of Practical Functional Programming Languages,
PhD Thesis, Department of Computing Science,
Imperial College, London, (1991).

S.L. Peyton Jones and P.L. Wadler,
Imperative functional programming.
Proc. 20th ACM Symp. on Principles of Programming Langs. (POPL '93),
Charleston, South Carolina, (January 1993).

P.L. Wadler,
The essence of functional programming.
Proc. 19th ACM Symp. on Principles of Programming Langs. (POPL '92),
(January 1992).


Miscellaneous

D.L. Mills,
"Internet Time Synchronization: the Network Time Protocol",
University of Delaware, (October 1989).


[Up]


The Definition of Monadic I/O in Haskell 1.3
Haskell 1.3 Committee
haskell1.3@comp.vuw.ac.nz