37 citations found. Retrieving documents...
Peter Henderson.
Purely functional operating systems
. In J. Darlington, P. Henderson, and D. A. Turner, editors, Functional programming and its applications, pages 177--192. Cambridge University Press, 1982.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
Towards Parallel Mercury - Conway (2002)
(Correct)
Parallelism and Non-determinism in Pure Functional Languages - King (1992)
(Correct)
Realtime Signal Processing - Dataflow, Visual, and Functional.. - Reekie (1995)
(Correct)
Realtime Signal Processing - Dataflow, Visual, and Functional.. - Reekie (1995)
(Correct)
Optimizing Eden by program transformation - Pareja, Peña, Rubio, Segura
(Correct)
Non-Determinism Analysis in a Parallel-Functional Language - Peņa, Segura (2000)
(Correct)
Two Non-Determinism Analyses in Eden - Peņa, Segura (2000)
(Correct)
Concurrent and Distributed Functional Systems - Spiliopoulou (1999)
(Correct)
Deterministic Concurrency - Carter (1994)
(2 citations)
(Correct)
Natural Semantics for Non-Determinism - Moran (1993)
(1 citation)
(Correct)
Making Choices Lazily - Hughes, Moran (1995)
(3 citations)
(Correct)
Specifications Are Not (necessarily) Executable - Hayes, Jones (1990)
(7 citations)
(Correct)
Making Choices Lazily - John Hughes Andrew (1995)
(3 citations)
(Correct)
Prototyping Real-Time Vision Systems: An Experiment in.. - Reid, Peterson, Hager.. (1998)
(Correct)
Reactive Objects in a Functional Language - An escape from .. - Nordlander, Carlsson (1997)
(4 citations)
(Correct)
Graphical Application and Visualization of Lazy Functional.. - Foubister (1995)
(Correct)
An Operational Semantics for I/O in a Lazy Functional Language - Gordon (1993)
(Correct)
Teaching C in a Functional Style - Davison (1994)
(Correct)
The Ins and Outs of Clean I/O - Achten, Plasmeijer (1994)
(3 citations)
(Correct)
Processing Transactions On Grip, A Parallel Graph Reducer - Akerholt, Hammond, Jones, .. (1993)
(1 citation)
(Correct)
Concurrent Haskell - Jones, Gordon, Finne (1996)
(11 citations)
(Correct)
La programacion funcional en Haskell - Mari (1995)
(Correct)
Programming Reactive Systems in Haskell - Finne, Jones (1994)
(8 citations)
(Correct)
A Parallel Functional Database on GRIP - Akerholt, Hammond, Jones, Trinder (1991)
(1 citation)
(Correct)
On the Expressiveness of Purely Functional I/O Systems - Hudak, Sundaresh (1989)
(14 citations)
(Correct)
Deterministic Concurrency - Holyer, Carter (1993)
(2 citations)
(Correct)
Functional Languages and Graphical User Interfaces - a review .. - Noble, Runciman (1994)
(15 citations)
(Correct)
Natural Semantics for Non-Determinism - Moran (1993)
(1 citation)
(Correct)
A Framework for Deterministically Interleaved Interactive.. - Achten, Plasmeijer (1994)
(Correct)
A Parallel Functional Database on GRIP - Akerholt, Hammond, Jones, Trinder (1992)
(1 citation)
(Correct)
A Framework for Deterministically Interleaved Interactive.. - Achten, Plasmeijer (1994)
(Correct)
Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994)
(4 citations)
(Correct)
Concurrent Haskell - Jones, Gordon, Finne (1996)
(11 citations)
(Correct)
Models for Persistence in Lazy Functional Programming Systems - McNally (1993)
(96 citations)
(Correct)
Why Functional Programming Matters - Hughes (1984)
(202 citations)
(Correct)
Logic Programming for the Real World - Somogyi, Henderson, Conway, O'Keefe (1995)
(3 citations)
Self-citation (Henderson)
(Correct)
Logic Programming for the Real World - Somogyi, Henderson, Conway, O'Keefe (1995)
(3 citations)
Self-citation (Henderson)
(Correct)
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC