Abstract

Existing functional languages appear not to be suitable for implementing systems which are inherently concurrent, such as operating system environments. Adaptations to functional languages developed to support such applications have in the past always involved the introduction of non-determinism.

Citations

1224	Lectures on constructive functional programming - Bird - 1989
515	D.: Implementation of Functional Programming Languages - Jones, Lester - 1987
418	Comprehending monads - Wadler - 1990
408	Can functional programming be liberated from the Von Neumann style - Backus - 1978
401	Computational lambda-calculus and monads - Moggi - 1989
299	The mechanical evaluation of expressions - Landin - 1964
290	The calculi of lambda-conversion - Church - 1941
265	Why functional programming matters - Hughes - 1989
239	The Godel Programming Language - Hill, Lloyd - 1994
216	Report on the programming language Haskell, a non-strict, purely functional language - Hudak, Jones, et al. - 1992
182	The Lambda Calculus: Its Syntax and Semantics, revised Edition - Barendregt - 1984
182	A basis for a mathematical theory of computation - McCarthy - 1963
178	A new implementation technique for applicative languages - Turner - 1979
155	a Non-Strict Functional Language with Polymorphic Types - Miranda - 1985
111	Functional Programming - Field, Harrison - 1988
98	A gentle introduction to Haskell - Hudak, Fasel - 1992
95	An overview of Miranda - Turner - 1986
94	Unboxed values as first class citizens in a non-strict functional language - Jones, Launchbury - 1991
77	Fudgets---a graphical user interface in a lazy functional language - Carlsson, Hallgren - 1993
75	evolution, and application of functional programming languages - Conception - 1989
73	Functional Programming: Application and Implementation, chapter Delayed evaluation - A functional approach to parallelism - Henderson - 1980
54	The implementation of the Gofer functional programming system - Jones - 1994
54	Implementing Functional Languages A Tutorial - Jones, Lester - 1990
49	Heap profiling of lazy functional programs - Runciman, Wakelin - 1993
46	The spineless tagless g-machine - Jones, Salkild, et al. - 1989
41	TIM: A Simple, Lazy Abstract Machine to Execute Supercombinators - Fairbairn, Wray - 1987
41	Non-determinism in functional languages - Søndergaard, Sestoft - 1992
37	Purely functional operating systems - Henderson - 1982
34	Recursion equations as a programming language - Turner - 1981
26	The Implementation of Practical Functional Programming Languages - Perry - 1990
23	The Chalmers lazy-ML compiler - Augustsson, Johnsson - 1989
22	Functional Programming - Henderson - 1980
22	On the expressiveness of purely functional I/O systems - Hudak, Sundaresh - 1989
21	Nondeterministic Call by Need is Neither Lazy Nor by Name - Clinger - 1982
21	A functional database - Trinder - 1989
21	Motif programming manual. O’Reilly & Associates - Heller, Ferguson, et al. - 1994
20	Nondeterminism with referential transparency in functional programming languages - Burton - 1986
15	Functional programming and operating systems - Jones, Sinclair - 1989
13	Nebula: a functional operating system - Karlsson - 1981
12	A new scheme for writing functional operating systems - Stoye - 1984
12	An approach to functional operating systems - Turner
11	The spineless tagless G-machine: a second attempt - Jones - 1991
10	Dialogues: A basis for constructing programming environments - O'Donnell - 1985
8	RUTH: A Functional Language for Real-Time Programming - Harrison - 1987
8	A range of operating systems written in a purely functional style - Jones - 1984
7	Functions and Dynamic User Interfaces - Dwelly - 1989
6	Encapsulating non-determinacy in an abstract data type with determinate semantics - Burton - 1991
6	Unboxed values as rst class citizens in a non-strict functional language - Jones, Launchbury - 1991
5	The design and implementation of an operating system in a functional language - Cupitt - 1990
5	XView Programming Manual. O'Reilly - Heller - 1990