lambdaND, Reflection
Francois-Rene Rideau
fare@tunes.org
Wed, 7 Apr 1999 23:59:10 +0200
I was just contacted by Thomas Mahler <thomas.mahler@home.ins.de>.
He has interesting material:
PLISP
http://www.techno.net/pcl/tm/plisp
Introductory paper
http://www.techno.net/pcl/tm/plisp/ENGLISH.EPS
polycontextural logics (mostly german):
http://www.techno.net/pcl
[ "Faré" | VN: Уng-Vû Bân | Join the TUNES project! http://www.tunes.org/ ]
[ FR: François-René Rideau | TUNES is a Useful, Nevertheless Expedient System ]
[ Reflection&Cybernethics | Project for a Free Reflective Computing System ]
In a five year period we can get one superb programming language.
Only we can't control when the five year period will begin. -- Alan Perlis