Arjen van Weelden, Rinus Plasmeijer  Home/Search
Context Related
Links: DBLP | cs.ru.nl/A.vanWeel...peratingSystem.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ru.nl/A.vanW...?p=publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we present Famke. It is a prototype implementation of a strongly typed operating system written in Clean. Famke enables the creation and management of independent distributed Clean processes on a network of workstations. It uses Clean's dynamic type system and its dynamic linker to communicate values of any type, e.g. (Update)
Cited by: More
A Functional Shell That Operates on Typed and Compiled.. - Plasmeijer, van Weelden (2005) (Correct)
A Functional Shell That Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2004) (Correct)
mHaskell: Mobile Computation in a Purely Functional Language - Bois, Trinder, Loidl (2004) (Correct)
Active bibliography (related documents): More All
2.0: Towards a Strongly Typed Functional Operating System - van Weelden, Plasmeijer (2003) (Correct)
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.4: Concurrency Abstractions for Concurrent Haskell - Stolz, Huch (2002) (Correct)
Similar documents based on text:
3.0: Unknown - (Correct)
Related documents from co-citation: More All
7: Dynamic types and type dependent functions - Pil - 1999
5: Es: A shell with higher-order functions - Haahr, Rakitzis - 1993
5: Lazy dynamic inputoutput lazy functional language Clean - Plasmeijer, input et al. - 2003
BibTeX entry: (Update)
A. van Weelden and R. Plasmeijer. Towards a strongly typed functional operating system. In Selected Papers Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002. http://citeseer.ist.psu.edu/vanweelden03towards.html More
@misc{ weelden02towards,
author = "A. van Weelden and R. Plasmeijer",
title = "Towards a strongly typed functional operating system",
text = "A. van Weelden and R. Plasmeijer. Towards a strongly typed functional operating
system. In Selected Papers Proceedings 14th International Workshop on the
Implementation of Functional Languages, IFL 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/vanweelden03towards.html" }
Citations (may not include all citations):315 Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1991 ACM DBLP
257 Report on the programming language Haskell (context) - Jones, Hughes ACM
242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1996
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993 ACM
87 Concurrent Haskell - Jones, Gordon et al. - 1996 ACM DBLP
75 Concurrent Clean - Nocker, Smetsers et al. - 1991 ACM DBLP
57 Continuation-Based Multiprocessing - Wand - 1980 ACM DBLP
55 Adding Threads to Standard ML - Cooper, Morrisett - 1990
46 Java Operating Systems: Design and Implementation - Back, Wullmann et al. - 1998
28 Asynchronous Exceptions in Haskell - Marlow, Jones et al. - 2001 ACM DBLP
24 Dynamic Types and Type Dependent Functions - Pil - 1998 ACM DBLP
15 Lazy Dynamic InputOutput Lazy Functional Language Clean - Plasmeijer, Input et al. - 2002
10 Distributed Programming in Haskell with Ports - Huch, Norbisrath - 2000 ACM DBLP
9 Es: A shell with higher-order functions - Haahr, Rakitzis - 1993 DBLP
7 Technical Report MITLCTR (context) - Shell, MIT et al. - 1994
6 A Poor Man's Concurrency Monad (context) - Claessen - 1999 ACM DBLP
4 Implementing Concurrency For An ML-based Operating System - Lin - 1998
4 Concurrent CLEAN Language Report (context) - van Eekelen, Plasmeijer
3 Implementation of Port-based Distributed Haskell - Stolz, Huch - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ru.nl/A.vanWeelden/index.php?p=publications): More
A Functional Shell That Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2004) (Correct)
Automatic Generation of Editors for Higher-Order Data .. - Achten, van Eekelen, .. (2004) (Correct)
Automatic Generation of Editors for Higher-Order Data .. - Achten, van Eekelen, .. (2004) (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