Operating Systems in Miranda + other languages

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by S.J.Thompson Wed, 11 Jul 1990 08:25

#333

Author: S.J.Thompson
Date: Wed, 11 Jul 1990 08:25

25 lines
1384 bytes


There has been much work on operating systems in functional langauges.

At the university of Kent the KAOS (Kent Applicative Operating System)
project has explored both new ideas, and has resulted in a working 
implementation of a small version of a Unix-like operating system.

Details of the basics to be found in

An approach to functional operating systems - D.A. Turner in (Turner D.A. (ed.)
	Research Topics in Functional Programming - Addison-Wesley - 1990)
	This is a revised version of Turner's 1987 paper in the PARLE 
	conference proceedings.

John Cupitt's Ph.D. thesis, University of Kent 1989, which explains the details
of the implementation of the system.

A useful general reference is a survey article by Simon B. Jones in the
Computer Journal, special edition on Functional Programming, which was 1989
(I think May).

Simon Thompson

sjt@ukc.ac.uk

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads