Other works related to the Tunes project
This page is under constant construction.
Please help me enrich it,
by sending annotations to existing pointers,
new pointers,
and the usual feedback.
Programming language based development systems
- Jecel's Merlin
project of a SELF-based OS.
- The SELF
Object-Oriented programming language
- Apple and CMU's
Dylan
dynamic language
- The Danish
BETA
OO language and its only (commercial) implementation,
the Mjolner BETA system.
- Napier88,
an persistent programming system from University of St Andrews
- The
Sather
Object-Oriented programming language.
- The
Ellie
programming language.
- The Scheme
Underground project to build a complete computing system on
top of a portable implementation of
Scheme (a skimmed version of
the LISP language)
- Ken Dickey's
YASOS
(Yet Another Scheme Object System)
- Moostrap,
an implementation of a Self-like language with behavioral
reflection in Scheme is described.
Operating systems
- Sony CSL's
Apertos,
the Reflective OO OS
- Grasshopper,
the orthogonally persistent distributed OS from Australia
- Flexmach,
a project for objects above Mach in C++ (yuck) and the
related
OMOS
model and implementation over plain unix.
- Andy Valencia's VSTa free microkernel's
mailing
list or
distribution
- Linus Torvalds'
Linux
free POSIX.1 compliant Unix clone for 32 bit PCs (and more)
- Papers about Andy Tanenbaum's
Amoeba
distributed OS, and related
Orca
programming language
- Apple's
Newton
Operating System and
NewtonScript language
- SPIN
OS from University of Washington
- Sun's
Spring
OS
Other fine stuff
- The Coq WWW page (in
french,
'cause the
english
version is almost empty) and
distribution
(including docs).
Coq is a system for higher-order logic programming,
allowing either pure logic, or extracting programs from proofs of
their specifications' realizability.
- The Xanadu
project for a world-wide unified electronic library
- The ANDF
technology for portable binary code distribution (also an
ftp
repository).
Usenet groups, Mailing lists and Bibliographies
Research groups and people
Please tell me if you know of any other interesting
pointer on related subjects...
To Do on this page
Talk about the open development model, as used in Linux.
Find the address of the comp.os.research FAQ.
Back to the
Tunes Home page.
Page Maintainer:
Faré
-- rideau@clipper.ens.fr