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.
Please tell me about any other interesting
pointer you know, that may relate somehow (anyhow) to the Tunes project...
Computer technology
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 Cecil
OO language from University of Washington
- 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
Computer ethics
Computer-ethical projects
Computer-ethical organizations
I've been told about these, but do not have WWW pointers yet.
- The League for Programming Freedom
- The
Free
Software Foundation (FSF)
- The Electronic Frontier Foundation
- The french Comité National Informatique et Liberté (CNIL),
(National Commity about Computing and Liberty)
Ethics in general
John Stuart Mill's Utilitarianism
shows how serious, reasonable, humble, sincere, open-minded,
never dogmatical approach to ethics can exist
John Stuart Mill's On Liberty
is a great essay on liberty; with his same intellectual
honesty, Mill gives an actual, deep, meaning to what is
only a slogan to most.
There are certainly many much more valuable books about
ethics.
To Do on this page
Talk about the open development model, as used in Linux.
Find the address of the comp.os.research FAQ.
Do include local comments and digests about every work pointed at here.
yuck.
Back to the
Tunes Home page.
Page Maintainer:
Faré
-- rideau@clipper.ens.fr