This category holds links for operating systems (OSs) based on, or which use heavily, functional programming and languages, and related topics, for which this is the main rationale.
Relate Directory
Compilers / Functional
Languages / Functional
Languages / Language-OS Hybrids
Alias Directory
Erlang
Haskell
Lisp
ML
Site
Message-based Functional Operating Systems
Table of contents, citations, related indexes. ACM Portal.
An Approach to Functional Operating Systems
Table of contents, citations, related indexes. ACM Portal.
Web Search
Message-based functional operating systems
URL : portal.acm.org/citation.cfm?coll=&id=14169
Message-based functional operating systems. Source. Science of Computer Programming archive ... Processes in a functional animation system, Proceedings of the ...[2008/09/07]
An approach to functional operating systems
URL : portal.acm.org/citation.cfm?coll=&id=119838
An approach to functional operating systems. Source ... D.4 OPERATING SYSTEMS. Additional Classification: D. Software. D.1 PROGRAMMING TECHNIQUES ...[2008/09/07]
Towards a strongly typed functional operating system — CiteSeerX ...
URL : citeseerx.ist.psu.edu/showciting?doi=10.1.1.10.5587
Scientific documents that cite the following paper: Towards a strongly typed functional operating system, by Arjen Van Weelden, Rinus Plasmeijer[2008/11/28]
Designing Multifunction Devices for Windows Operating Systems
URL : www.microsoft.com/whdc/archive/mfdesign.mspx
Designing multifunction devices and their drivers for Windows. ... theres built-in operating system support for the functional unit, Windows will ...[2008/09/29]
Towards a Strongly Typed Functional Operating System
URL : citeseerx.ist.psu.edu/viewdoc/download?...&rep=rep1&type=pdf
Functional Operating System. Arjen van Weelden and Rinus Plasmeijer ... tiny functional operating system written (in Clean) on top of an existing operat ...[2008/11/19]
A Principled Approach to Operating System Construction in Haskell
URL : ogi.altocumulus.org/~hallgren/ICFP2005/house.pdf
edge, this is the first functional-language operating system that ... Message-based functional operating systems. Science of. Computer Programming, 6:291–311, 1986. ...[2005/07/10]
Functional Levels Background Information: Active Directory
URL : technet.microsoft.com/en-us/library/cc738038.aspx
Windows Server 2003 Active Directory functional levels expand on the mixed and native modes introduced in the Windows 2000 operating system. In Windows ...[2008/11/26]
Introduction to Operating Systems - Programming Assignments
URL : www.soe.ucsc.edu/~sbrandt/courses/Spring02/111/dlxos.html
Our base is a very simple, but functional, operating system called dlxos. ... An interesting aspect of building this operating system is that you get to "use ...[2008/11/25]
Writing Systems Software in a Functional Language
URL : web.cecs.pdx.edu/~rebekah/papers/plos07.pdf
hypervisors, and operating systems—is particularly chal ... THE HOUSE OPERATING SYSTEM. We are by no means the first to use functional languages ...[2008/07/10]
STSC CrossTalk - Software Architecture as a Combination of Patterns ...
URL : www.stsc.hill.af.mil/crosstalk/2003/10/0310Petersson.html
Ericsson Microwave Systems in Sweden was confronted with the problem of constructing a radar system that could ... system. Different customers' functional ...[2008/11/25]
©www.freeaq.net - 2008
POWERED BY FreeBSD 7.0