Bibliography

1

Andrew W. Appel. A Runtime System. Princeton University Technical Report, CS-TR-220-89, May 1989.

2

Andrew W. Appel. A Critique of Standard ML. Journal of Functional Programming, Vol. 3 No. 4, page391-430, 1993.

3

Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992

4

Andrew W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1998

5

Alan Bawden, Richard Greenblatt, Jack Holloway, Thomas Knight, David Moon, and Daniel Weinreb. The LISP Machine. Artificial Intelligence: An MIT Perspective, Volume 2, The MIT Press, 1979.

6

Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers. Extensibility, Safety and Performance in the SPIN Operating System. In Proceedings of the Fifteenth ACM Symposium on Operating System(SOSP), page 267-284, Copper Mountain Resort, Colorado, December 1995.

7

Edoardo S. Biagioni, Robert Harper, and Peter Lee. Implementing Software Architectures in Standard ML. Position paper at the International Conference on Software Engineering Workshop on Software Engineering and Programming Languages, Seattle, Washington, April 1995.

8

Edoardo S. Biagioni, Rober Harper, Peter Lee, and Brian G. Milnes. Signatures for a Network Protocol Stack: A Systems Application of Standard ML. In 1994 ACM Conference on Lisp and Functional Programming, Orlando, FL, June, 1994.

9

Edoardo S. Biagioni, Ken Cline, Peter Lee, Chris Okasaki, and Chris Stone. Safe-for-Space Threads in Standard ML. Second ACM Sigplan Workshop on Continuations, Paris, France, 14 January 1997.

10

Douglas Comer Operating System Design - The XINU Approach, Prentice Hall, 1984.

11

Eric Cooper, Robert Harper, and Peter Lee. The Fox Project: Advanced Development of System Software. CMU-CS-91-178, August 1991.

12

Eric Cooper, Peter Steenkiste, Robert Sansom, and Brian Zill. Protocol Implementation on the Nectar Communication Processor. ACM SIGCOMM '90 Symposium, Philadelphia, September 1990.

13

Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin and Olin Shivers. The Flux OSKit: A substrate for kernel and language research. In the proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (SOSP-16), October 1997, Saint-Malo, France.

14

Kai Hwang, Joydeep Ghosh, and Raymond Chowkwanyum. Computer Architectures for Artificial Intelligence Processing. IEEE Computer, January 1987.

15

Intel. Intel Architecture Software Developer's Manual Volume2: Instruction Set Reference, order number 243191, Intel 1997.

16

Intel. Intel Architecture Software Developer's Manual Volume3: System Programming Guide, order number 243192, Intel 1997.

17

Intel. Networking 1998, order number 297360, Intel 1998.

18

David A. Mood. Garbage Collection in Large Lisp System. ACM Symposium on LISP and Functional Programming, August 1984, Austin, Texas.

19

David A. Mood. Symbolics Architecture. IEEE Computer, January 1987.

20

Andrew R. Pleszkum and Matthew J. Thazhuthaveetil. The Architecture of LISP Machines IEEE Computer, March 1987.

21

John H Reppy. Asynchronous Signals in Standard ML. Cornell University Technical Report TR90-1144, August 1990.

22

John H Reppy. A High-performance Garbage Collector for Standard ML. AT&T Bell Laboratories Technical Memo, December 1993.

23

Jeffrey D. Ullman. Elements Of ML Programming - ML97 Edition. Prentice Hall, 1998.

24

Philip Wadler. Why No One Uses Functional Languages ACM SIGPLAN Notices - Functional Programming Column, August 1998, 33(8):23-27.

25

Sun Microsystems Inc. An Overview of the Operating System Architecture http://www.sun.com/javaos/business/overview/ May 20th, 1999

26

Olin Shivers. The Express project http://www.ai.mit.edu/projects/express/

27

David Swasey and Peter Lee. The Fox Project: Advanced Languages for Systems Software http://foxnet.cs.cmu.edu/HomePage.html August 31, 1998

28

SPIN group. SPIN Overview http://www.cs.washington.edu/research/projects/spin/www/external/overview.html

29

Matthias Blume. CM - A Compilation Manager for SML/NJ - User Manual http://cm.bell-labs.com/cm/cs/what/smlnj/doc/CM/index.html December 19th, 1997

30

P. T. Withington. The Lisp Machine: Noble Experiment Or Fabulous Failure? http://www2.thecia.net/users/ptw/LispM.html July 11th, 1991

31

Philip Wadler. Functional Programming in the Real World http://cm.bell-labs.com/cm/cs/who/wadler/realworld/ April 13th, 1999

32

STING group. Sting http://www.neci.nj.nec.com/PLS/sting.html November 5th, 1996

33

Eric Raymond. The Cathedral and the Bazaar http://www.tuxedo.org/~esr/writings/cathedral-bazaar/cathedral-bazaar.html November 22th, 1998