Web Surfing
Send me comments, questions, whatever.
When I'm web surfing, I enjoy finding pointers from other people's home pages
to stuff they think is interesting.
I've found some of my favorite pages that way.
So it seems only fair that I should do for others like I'd have them do unto
(unfor?) me.
This page is really just a hotlist with delusions of grandure:
when I find a URL that I want to hang on to, for whatever reason,
I put it here.
Making it globally available is my way of contributing to WebCulture.
Since I'd be putting in the effort to maintain my "hotlist" anyway,
I can get the satisfaction of contributing at essentially no extra cost.
It's still just my hotlist, though.
Traditionally, major web indices —the classic example being
yahoo—
started a lot like this page, with grad students trying to organize
their own growing collection of links, and they just kept growing.
I can't afford to let that happen; there are already good
general indices out there and I just don't have the time.
I sincerely hope you find lots of fun and interesting stuff here,
and I'm making it available to you in the hopes that you will,
but it isn't intended to be a web index per se.
Some of the pointers from here are to other people's pages that
are pretty comprehensive, such as
FAQs,
but these pointers are only here because I decided I wanted them.
Every pointer on this page is here on my sufferance.
Because there are lots of different reasons for me to want to keep a URL,
and all of them end up here, you'll find an enormous range of variation
in the quality of the stuff here.
IMHO, some of it's really neat, some of it is just barely worth saving,
and most of it is somewhere in between.
Deciding which is which is left as an exercise for the student.
After about a year as a web publisher,
I came to appreciate just how often pages on the web move around.
Nothing seems to stay put.
Of course I'd update a URL when I noticed it was out of date,
but I didn't even know how long ago I'd last tested each URL.
So I instituted the following time-keeping system.
Each entry has one or two dates on it.
The first date is the last time the URL was changed.
If this date is recent, either I've just added the pointer,
or I've just changed it because I discovered the target page had moved.
If this date is old, I haven't changed the URL in a long time.
The second date, if any,
is a more recent time as of which I know the pointer still worked.
If there is no second date,
that's because it would be the same as the first date.
If the first date is old and the second date is recent,
you're looking at a fairly stable URL:
I put it in a long time ago, and it was still working pretty recently.
If a stable URL like that doesn't work for you,
there's a good chance the problem is only temporary.
-
Meta-information
-
Google
(18-Sep-01; 16-Jul-09)
-
AltaVista
(26-Jan-99; 22-Jul-09)
-
Google groups
(that purchased "deja.com", that had been "Deja News",
that lived in the house that Jack built)
(12-Sep-01; 20-Sep-09)
-
People
-
WebCrawler
(15-Feb-09; 17-Nov-09)
-
General
-
Networks (and the like)
-
Shows
General
/ Conlanging
/ Sounds and symbols
/ Dictionaries
/ Thesauri
/ The Press
/ Writing
See also:
Literature,
Education,
Programming languages
-
General
-
Conlanging
(Language construction)
-
Meta
Resources
-
Conlangs
-
Adelic (if-lang, alternative consonant shift from PIE)
(22-May-09; 29-Sep-09)
-
AllNoun (artificial grammar with only nouns and 4 symbols)
(10-Sep-08; 25-Oct-09)
-
ámman îar
(24-Jan-07; 04-Sep-09)
-
Ardalambion
(Of the Tongues of Arda, the invented world of J.R.R. Tolkien)
(13-Mar-03; 06-Nov-09)
-
Asha'ille
(24-Oct-07; 05-Sep-09)
-
Bhreathanach (" the 'Q' to Brithenig's 'P' ")
(02-Jun-09; 26-Oct-09)
-
Blissymbolics Resources
(04-Aug-07; 21-Nov-09)
-
The Briefscript Project
(obnoxiously, the menu requires javascript)
(04-Oct-08; 17-Aug-09)
-
Brithenig
(clasic altlang, from Latin displacing Old Celtic in Great Britain)
(01-Jun-09; 24-Oct-09)
-
Ceqli
(started as an attempt to improve the morphology of Loglan,
then took a turn for the naturalistic)
(01-Feb-07; 30-Aug-09)
-
Dapnant
(13-Jul-09)
-
DiLingo
("the gutteral utteral, the paradigm of rhyme, the pox of vox")
(14-Jul-09)
-
Eaiea (musical language)
(08-Dec-08; 06-Oct-09)
-
Esperanto
-
Furbish
(07-Mar-07; 22-Oct-09)
-
Gobldi Guk
(08-Oct-08; 20-Aug-09)
-
gjâ-zym-byn
(02-Apr-09; 29-Aug-09)
-
Idrani (meta-information about the creation of the language is under
"Author")
(15-Sep-08; 19-Jul-09)
-
Ilaini: the language of Valdyas (highly inflected)
(12-Jul-09)
-
Ithkuil (designed for high information density)
(13-Feb-09; 04-Jul-09)
-
Kēlen (a language with no open lexical class of verbs)
(13-Jan-07; 25-Oct-09)
-
Láadan
(10-Jul-09; 18-Nov-09)
-
Liva (a logical language)
(03-Nov-08; 04-Sep-09)
-
Lojban
(03-Feb-07; 05-Nov-09)
-
Meghean
(18-Feb-07; 17-Nov-09)
-
Nibuzigu (a musical conlang)
(01-Dec-08; 17-Sep-09)
-
Occidental
(19-Dec-02; 20-Sep-09)
-
Qþyn|gài
(polysynthetic; one open word class, cf. natlang
Nootka)
(08-Feb-07; 21-Oct-09)
-
Revalency (accent on the second syllable), a musing of my own.
(just a language feature that could be used in a conlang,
therefore it's properly a resource rather than a conlang as such;
but it's creative,
therefore it seemed more appropriate here than above)
(11-Feb-07; 10-Aug-09)
-
Sasxsek (an auxlang)
(11-Dec-08; 12-Sep-09)
-
Skerre
(24-Jan-07; 24-Aug-09)
-
GRAMMAR OF SOLRESOL
(English translation of Gajewski's 1902 work)
(23-Feb-08; 10-Sep-09)
-
Sonayagema - Sona Language Meetingplace
(05-Feb-07; 19-Oct-09)
-
Re: derivatives of Heinlein's speedtalk
(11-Jan-09; 17-Oct-09)
-
Spocanian
(English pages mostly not there yet)
(20-Dec-07; 07-Jul-09)
-
το
άνευ
κλίσι
Ελληνικό
(or, TAKE: Greek without inflections — a fictional auxlang)
(17-Nov-08; 04-Sep-09)
-
Tenata (doesn't strongly classify words by lexical category)
(18-May-09; 15-Oct-09)
-
Teonaht homepage (note the Law Of Detachability)
(08-Jan-07; 03-Nov-09)
-
Tepa
(11-Jun-09; 24-Oct-09)
-
Thauliralau (nouns are uninflected)
(06-Feb-07; 06-Oct-09)
-
Tokana
(24-Jan-07; 02-Sep-09)
-
Toki Pona
(oligoisolating)
(10-Feb-07; 14-Nov-09)
-
Verdurian
(12-Jun-09; 28-Oct-09)
-
Vorlin
(vor = "a compromise between technical and aesthetic criteria")
(02-Jul-08; 29-Sep-09)
-
Wede:i
(language family, heavily agglutinative; Mark Rosenfelder)
(11-Jul-09; 21-Nov-09)
-
Wessisc Language Suite (Damon Lord)
(15-Jul-09)
-
Ygyde (oligosynthetic, designed for high information density)
(15-Feb-07; 15-Sep-09)
-
Zhyler (a language with 57 noun cases)
(13-Feb-09; 04-Jul-09)
-
Sounds and symbols
-
Dictionaries
-
Thesauri
-
The Press
-
Writing
General
/ Authors
/ Other literature
See also:
Language
-
General
-
Authors
-
WebMuseum (quondam Le WebLouvre)
(28-Nov-00; 03-Nov-09)
-
SITO (quondam OTIS)
(26-Jun-96; 05-Jul-09)
-
MOBA
(01-Apr-09; 26-Aug-09)
I've got some things I really want to say about this.
I'll write it all up one of these days
(weeks, months . . . well, okay, years) in my
copious free time .
Meanwhile, here are some pointers to stuff by other people.
General
/ Works
/ People
/ Loosely related stuff
See also:
Religion
-
General
-
Works
-
An introduction to memes
(23-May-04; 08-Jul-09)
-
Big Medicine Central
(12-Sep-08; 02-Jul-09)
-
Viruses of the Mind
(28-Mar-03; 26-Aug-09)
-
Memetics: The nascent science of ideas and their transmission
(J. Peter Vajk;
An Essay Presented to the Outlook Club,
Berkeley, California,
January 19, 1989)
(27-Jan-04; 28-Oct-09)
-
Units, Events, and Dynamics in Memetic Evolution
(20-Oct-07; 07-Nov-09)
-
CSI | The Belief Engine
(Skeptical Inquirer —
Volume 19.3, May / June 1995,
Feature, James Alcock)
(23-Oct-09)
-
Memetics: A Systems Metabiology
(19-Oct-03; 01-Nov-09)
-
WIRED 4.05: Memetic Engineering
(26-Aug-99; 07-Aug-09)
-
The Origin of Species
(Charles Darwin, 1859)
(19-Jan-05; 07-Jul-09)
-
EDGE: MIRROR NEURONS
(V.S. Ramachandran; undated, possibly 2000)
(15-Sep-00; 25-Oct-09)
-
The End of Information & the Future of Libraries
(18-Sep-98; 15-Aug-09)
-
AUTOLOGUE:
Interdiscilinary Dialogue within the Global Network Environment
(Heath Michael Rezabek, 1993)
(17-Aug-04; 04-Nov-09)
-
Propaganda critic:
index of site dedicated to propaganda analysis
(22-Oct-02; 21-Sep-09)
-
Closed Brain, Open Mind: The brain, its world model & mind
(was:
Dynamics and World-Model Creation in Novelty Reducing Neural Networks;
before that, was: Novelty and the End of the Processing Brain Paradigm;
Mervyn van Kuyen)
(11-Nov-09)
-
Genes, Memes, and Megathemes
(19-Oct-09)
-
5 videos on memetics (post on alt.memetics)
(19-Apr-09; 16-Sep-09)
-
People
-
Loosely related stuff
General
/ Language families
/ People
/ Abstraction Theory
-
General
-
Ulf's Home-Page of Programming Language Design
(note: he submitted his PhD dissertation in June 2005)
(29-Aug-01; 02-Jul-09)
-
Paul Graham — Essays
(07-Jul-04; 21-Oct-09)
-
Good Ideas, Through the Looking Glass | Lambda the Ultimate
(09-Oct-07; 29-Oct-09)
-
Dictionary of Programming Languages
(18-Sep-98; 25-Sep-09)
-
Programming Languages
(at least since 14-Feb-06, no longer maintained)
(30-Aug-00; 18-Jul-09)
-
HOPL: An interactive historical roster of computer languages
(22-Nov-04; 05-Sep-09)
-
Code-a-holic/LL (language list)
(20-Feb-06; 24-Aug-09)
-
99 Bottles of Beer
(10-Jun-05; 15-Aug-09)
-
List of programming languages (Wikipedia)
(17-May-04; 14-Nov-09)
-
The Language List
-
Version 2.4, January 23, 1995
(last version distributed on USENET, as far as I know)
Available as a
single web page
(Albert-Ludwigs-Universität Freiburg).
(20-Oct-99; 12-Nov-09)
-
There's a
web page, more up-to-date by some unknown (to me) but small amount,
at the University of Kansas.
(20-Sep-04; 09-Nov-09)
-
programming languages (Prof. Susan Stepney, University of York)
(05-Nov-03; 12-Aug-09)
-
The Retrocomputing Museum
(24-Jan-03; 13-Jul-09)
-
Introduction To Computer Languages (2)
(28-Sep-08; 19-Jul-09)
-
syntax across languages
(25-Mar-05; 05-Nov-09)
-
Languages versus D
(Wiki4D,
"the wiki for the D programming language")
(29-Mar-05; 08-Sep-09)
-
Rosetta Code
(08-Mar-08; 04-Nov-09)
-
NEPLS
(New England Programming Languages and Systems Symposium Series)
(13-Mar-01; 08-Nov-09)
-
The Teaching About Programming Languages Project
(19-Mar-97; 08-Oct-09)
-
Sigplan
(30-Jul-96; 25-Oct-09)
-
HOSC (Higher-Order and Symbolic Computation,
formerly Lisp and Symbolic Computation)
(18-Sep-03; 17-Oct-09)
-
Resources for Programming Language Research
(30-Jul-96; 23-Sep-09)
-
Programming Systems Research,
University of Washington
(06-Nov-00; 15-Oct-09)
-
Catalog of Free Compilers and Interpreters
(18-Sep-98; 08-Aug-09)
-
The Catalog of Compiler Construction Tools
(19-Sep-04; 25-Oct-09)
-
CISE directorate (NSF)
(25-May-05; 07-Oct-09)
-
Getting Started in Programming
(One person's attempt to answer the frequently asked question,
"What language should I learn?")
(30-Aug-00; 07-Aug-09)
-
The comp.compilers newsgroup (archive, FAQ, and such)
(07-Aug-00; 28-Aug-09)
-
Parsing
-
Advanced Programming Languages
(Jose Emilio Labra Gayo)
(13-Jan-99; 25-Jul-09)
-
Programming Language Creator (roll your own)
(08-Oct-98; 04-Oct-09)
-
Lightweight Languages 2003
(09-Nov-03; 24-Aug-09)
-
SourceForge: Software Map
(18-Jun-06; 29-Oct-09)
-
Liskov's list of papers | Lambda the Ultimate
(01-Nov-09)
-
Wouter's programming language page
(PLs designed by Wouter van Oortmerssen; almost fifty of them,
some with their own pages, some have been implemented.
Some of them are esoteric.)
(20-Feb-03; 18-Aug-09)
-
Amir Yantimirov: Programming
(09-Feb-04; 13-Aug-09)
-
Mastering recursive programming
(20-Jun-05; 02-Jul-09)
-
The Quine Page (self-reproducing code)
(12-Sep-03; 14-Nov-09)
-
Language families
Miscellaneous
Categorical languages /
Distributed computing languages /
Esoteric languages /
Extensible languages /
Functional programming /
Lisp languages /
Logic and constraint programming /
Low-level languages /
Non-programmers, programming languages for /
Object-oriented programming /
Scripting languages /
Stack-based languages /
Visual languages
-
Miscellaneous
-
Introduction to ngrease
(21-May-07; 14-Aug-09)
-
Metaphor-oriented programming
(02-Apr-07; 14-Oct-08; 16-Aug-09)
-
Language Oriented Programming: The Next Programming Paradigm
(15-Jun-07; 13-Oct-09)
-
Virtual machines
-
UFO -- United Functions and Objects: Draft Language Description
(16-Jun-07; 25-Oct-09)
-
Algol 68
-
Ada
-
Ada Home: the Home of the Brave Ada Programmars (HBAP)
(19-Jan-01; 12-Nov-09)
-
The Libre Site (includes a GPL implementation of Ada)
(23-Jun-08; 11-Sep-09)
-
Dylan
(descended from Scheme and Common Lisp;
typed, and has an ALGOL-like syntax)
(05-Apr-02; 23-Jul-09)
-
aspectj
(21-Mar-03; 12-Oct-09)
-
Tom:
a software environment for defining transformations
(21-Apr-08; 26-Oct-09)
-
D Programming Language
(systems programming; power, performance, productivity)
(14-May-03; 07-Aug-09)
-
Maude
(high-performance, reflective, both specification and programming)
(17-Jun-03; 17-Jul-09)
-
Mango
(08-Jan-05; 01-Nov-09)
-
Blassic (a classic Basic interpreter)
(04-Jul-05; 14-Jul-09)
-
Emergence Basic
(a language with "syntax similar to the BASIC programming language",
which pretty much sums up the eventual legacies
of all popular programming languages:
the best semantic features are all scrapped,
typically because they're hard to separate out from features
that are inconsistent with new trends in language design,
while the superficial syntax is perpetuated.
Look at C and Java....
The semantics of the successor languages aren't necessarily bad,
mind you, but I don't think any of those old languages would have been
popular if there hadn't been something worthwhile in the old semantics,
from which the successors regularly fail to learn.)
(22-Aug-07; 19-Nov-09)
-
Alice
("teaches students computer programming in a 3D environment")
(15-Apr-06; 31-Aug-09)
-
COBOL programming - tutorials, lectures, exercises, examples
(23-Apr-06; 21-Aug-09)
-
Sage
(07-Jun-06; 15-Nov-09)
-
Harpoon
("designed to provide one syntax for all range of documents, configuration files,
knowledge representations, object serialization and even for scripts and
large-scale programs")
(03-Mar-08; 29-Sep-09)
-
A Shallow Introduction to the K Programming Language
(a high-level system programming language)
(11-Apr-08; 09-Nov-09)
-
ALA7 (polymorphic lists, simplified access to machine code)
(13-Apr-08; 30-Sep-09)
-
Categorical languages
-
Distributed computing languages
-
Obliq (a lexically-scoped untyped interpreted language
that supports distributed object-oriented computation)
(22-Aug-09)
-
Mentat
(24-Aug-98; 08-Oct-09)
-
Scheme 48
(04-Sep-01; 02-Jul-09)
-
O-Plan
(27-Mar-96; 26-Oct-09)
-
Erlang
(22-Apr-03; 12-Nov-09)
-
The E Language
(15-Apr-04; 08-Nov-09)
-
The Mozart Programming System
(primary implementation of Oz)
(05-Nov-07; 04-Nov-09)
-
Prose (note: also self-identifies as a scripting language)
(18-Feb-04; 08-Aug-09)
-
Esoteric languages
An "esoteric" programming language is a programming language that is
deliberately designed to be perverse.
That's in contrast to the vast majority of "non-esoteric"
programming languages, which are perverse without anyone deliberately
making them that way.
I've been thinking about designing an esoteric language myself for years,
and once I even started one; but it's been difficult for me,
because the usual way of making a language hard to use is to omit
abstraction support, and I just can't find it in my heart to design
a language that way. The obvious solution is to design a language
that supports abstraction in a perverse way — but it's hard to imagine
any way of supporting abstraction that would be more perverse than the way
C++ does it.
-
INTERCAL Resources Page
(the spiritual ancestor of all modern esoteric languages)
(24-Jan-03; 12-Oct-09)
-
Keith's Esoteric Programming Languages Page
(The Esoteric Programming Languages Webring)
(21-Jan-02; 31-Aug-09)
-
Esoteric programming languages wiki
(24-Sep-07; 05-Sep-09)
-
Funge (Wikipedia)
(01-Feb-07; 24-Aug-09)
-
4DL
(29-Oct-05; 21-Oct-09)
-
Brainf***
(22-Jun-05; 19-Nov-09)
-
The Unlambda Programming Language
(10-Mar-00; 23-Oct-09)
-
Malbolge
-
Beatnik
(29-Oct-05; 21-Aug-09)
-
HQ9+
(29-Oct-05; 02-Oct-09)
-
COW
(11-Mar-07; 10-Oct-09)
-
Whitespace
(18-Sep-07; 21-Sep-09)
-
Extensible languages
Extensibility, as a movement, was the predecessor of abstraction. 
Simula in its early years was presented as an extensible language. 
The move from extensibility to abstraction was a classic paradigm shift,
with the attendant ruthless supression of the predecessor,
to the point where the whole extensibility movement is almost invisible
in the history books
(though its erasure was more nearly complete a quarter century ago,
when object-orientation was on the rise instead of on the decline). 
In fairness,
the extensibility movement was never as big as its successor became,
although some of the more extreme paeans to the advantages of abstraction
could have been taken verbatim from writings on extensibility. 
There's been a new wave of extensible languages since around the turn
of the century.
I'm a bit concerned about a tendancy to not learn from past mistakes;
not that I don't believe in extensibility,
I just don't believe in unstructured extensibility,
just as I don't believe in unstructured control flow.
(On the difference between structure and restriction,
see my design of the
Kernel programming language,
especially guideline G4 on type encapsulation.)
-
Seed7 (easy to add statements and functions;
first-class types (of course))
(27-Jan-06; 13-Sep-09)
-
Extensible programming languages (Wikipedia)
(22-Nov-06; 02-Jul-09)
-
Parser that allow syntax extensions | Lambda the Ultimate [sic]
(10-Oct-07; 29-Sep-09)
-
Pliant
(09-Jun-09; 14-Nov-09)
-
Ivy (extensible syntax; broadly, a scripting language)
(01-Nov-05; 07-Oct-09)
-
A Conversation with Alan Kay
(ACM Queue)
(10-Feb-09; 07-Nov-09)
-
Functional programming
-
Lisp languages
-
The Kernel Programming Language
-
The Scheme Programming Language
(16-Nov-99; 12-Oct-09)
-
schemers.org
(21-Jan-02; 26-Oct-09)
-
SRFI (Scheme Requests for Implementation)
(29-Aug-03; 18-Jul-09)
-
The Internet Scheme Repository
(has stuff in it that more up-to-date sites don't)
(11-Feb-00; 01-Nov-09)
-
Structure and Interpretation of Computer Programs
(The Wizard Book)
(14-Dec-01; 18-Sep-09)
-
Adventures in Advanced Symbolic Programming
(6.945 — Spring 2009)
(09-Apr-09; 17-Sep-09)
-
Concrete Abstractions:
An Introduction to Computer Science Using Scheme
(22-Nov-05; 08-Sep-09)
-
The Scheme Programming Language, Third Edition; R. Kent Dybvig
(14-Sep-07; 11-Sep-09)
-
MIT/GNU Scheme Reference
(02-Oct-09)
-
Revised5 Report on the Algorithmic Language Scheme
(on the DrScheme site;
nicer than the html version I'd found on the MIT Scheme site)
(05-Dec-02; 04-Oct-09)
-
R5RS Pitfalls (SISC)
(16-Aug-07, 26-Jul-09)
-
Revised6
Report on the Algorithmic Language Scheme
(15-Sep-06; 17-Oct-09)
-
On Lisp (Paul Graham)
(01-Oct-03; 10-Oct-09)
-
PLT Scheme
(05-Feb-09; 17-Nov-09)
-
The CHICKEN Scheme Compiler (compiles Scheme to C)
(22-Feb-06; 07-Oct-09)
-
Association of Lisp Users
(30-Oct-05; 22-Nov-09)
-
Project Schematics (open source libraries for Scheme)
(29-Aug-03; 16-Nov-09)
-
Larceny ("a simple and efficient run-time system for Scheme")
(20-Oct-05; 05-Jul-09)
-
Jscheme: Scheme in Java
(23-Aug-07; 14-Jul-09)
-
Resources written for scsh
(open source UNIX shell embedded in Scheme)
(29-Aug-03; 02-Jul-09)
-
An Introduction to Scheme and its Implementation
(28-Aug-00; 08-Jul-09)
-
Re-writing abstractions, or Lambda: the ultimate pattern macro
(09-Feb-04; 08-Aug-09)
-
First-class macros: pattern-match at run-time
(08-May-06; 25-Oct-09)
-
narsi (listed here for its approach to macros)
(17-Feb-04; 15-Jul-09)
-
Fexpr (Wikipedia)
(23-Jan-09; 09-Nov-099)
-
Learning Lisp — Fexprs
(from 1984; about P-Lisp, which ran on the Apple II)
(02-Apr-08; 05-Nov-09)
-
The Revised Maclisp Manual (The Pitmanual)
(Sunday Morning Edition)
(04-Apr-09; 06-Sep-09)
-
Bibliography of Scheme-related Research
(13-Apr-06; 16-Sep-09)
-
ILC 2009
(26-Oct-09)
-
Workshops on Scheme and Functional Programming
-
Performance and Evaluation of Lisp Systems
(Richard P. Gabriel. It's about the fifth book listed on the page;
I'd link directly to the right part of the page,
but there's no anchor there.)
(09-Feb-04; 07-Nov-09)
-
Public Domain Lisp Logo Set (Conrad Barski, M.D.)
(29-Oct-05; 03-Oct-09)
-
scmxlate
(10-Nov-03; 06-Nov-09)
-
Arc
(26-Sep-02; 18-Sep-09)
-
Common Lisp the Language, 2nd Edition
(Guy L. Steele; for the document itself,
you may want/need to use the mirror in France)
(25-Jun-04; 23-Jul-09)
-
Lisp: Good News; Bad News; How to Win Big
(a.k.a. "Worse is Better")
(05-Nov-03; 04-Nov-09)
-
Continuations and advanced flow control
(28-May-06; 03-Oct-09)
-
Continuations in Scheme (draft)
(31-Jul-06; 22-Nov-09)
-
Condition Handling in the Lisp Language Family
(Kent M. Pitman)
(09-Sep-03; 12-Jul-09)
-
Technical Issues of Separation in Function Cells and Value Cells
(about whether to have separate name-spaces)
(01-Oct-03; 14-Sep-09)
-
The RRRS-authors Archives
(21-Mar-03; 25-Sep-09)
-
Publications — Didier Verna
(18-Apr-09; 15-Sep-09)
-
Re: Where does the lambda come from?
(22-May-08; 16-Nov-09)
-
Lambda on Mars (so that's where it comes from!)
(03-Feb-04; 20-Nov-09)
-
International Lisp Conference
(14-May-03; 17-Jul-09)
-
SLaTeX
(03-Nov-03; 12-Aug-09)
-
Kanren (A declarative applicative logic programming system)
(13-Nov-04; 23-Sep-09)
-
The Eternal Flame
(parody lyrics by Bob Kanefsky,
performed by Julia Ecklar, of a filk by Julia Ecklar)
(18-Dec-08; 18-Oct-09)
-
Logic and constraint programming
-
Prolog
-
Mercury
(07-May-02; 13-Sep-09)
-
UW Constraint-Based Systems
(University of Washington)
(18-Sep-98; 10-Oct-09)
-
ToonTalk
(13-Jan-99; 19-Nov-09)
-
Kanren (A declarative applicative logic programming system)
(13-Nov-04; 21-Nov-09)
-
Qi (views itself as a "Lisp for the 21st century")
(16-Apr-09; 11-Sep-09)
-
Low-level languages
-
TERSE (algebraic assembly language for x86 processors)
(26-Apr-00; 15-Oct-09)
-
C-- (a portable assembly language)
(25-Sep-00; 09-Nov-09)
-
PL/M
-
Jolt
(15-Aug-04; 22-Aug-09)
-
Non-programmers, programming languages for
A general observation about programming languages that cater to
non-programmers:
There seem to be two diametrically opposite ways to go about it.
You can dumb down your language,
hoping to bring it within reach of non-programmers;
or you can improve it until it's so good that even non-programmers
can handle it.
(If you think that improving your language will make it harder
for non-programmers to handle, you might want to rethink
what constitutes an improvement.)
Any researcher in this area should ask,
am I trying to make my language dumb, or good?
-
Natural Programming
(18-Aug-98; 19-Sep-09)
-
Object-oriented programming
-
Scripting languages
Most new languages today are dynamic
(as Lisp programmers have always known they should be),
and capable of interoperating with other languages;
one could also ask that a scripting language support entering commands
at an interpreter prompt, but that's mostly orthogonal to paradigm,
and in principle about any language could
be implemented that way.
The criterion for including a language here is, consequently,
not merely that the language could be put here,
but that I don't see how to justify putting it anywhere else
except miscellaneous.
-
Scripting: Higher Level Programming for the 21st Century
(IEEE Computer, March 1998)
(17-Apr-04; 05-Aug-09)
-
The Rexx Language Association
(at least historically scripting,
and otherwise would be miscellaneous)
(22-Apr-99; 22-Nov-09)
-
Lua
(self-identifies primarily as a scripting language;
not exactly an extensible language in my sense,
so if not here it would be miscellaneous)
(18-Sep-03; 13-Oct-09)
-
The Falcon Programming Language
(Was once put here because it only self-identified as a scripting language;
now it claims to "provide six integrated programming paradigms".
Further study is called for; one of these times when I recheck the link,
perhaps — but my notes say it "has objects and classes,
but only incidentally;" if that's also its level of involvement
in all the other paradigms it lists, it may only reclassify as
"miscellaneous", which would be unwelcome since I already have too many
languages there.)
(08-Feb-05; 10-Oct-09)
-
Stack-based languages
-
Visual languages
-
The Juk
(general-purpose visual and functional programming language)
(04-Aug-05; 08-Sep-09)
-
People
-
Christopher Strachey (1916–1975)
(page archived at the Internet Archive)
(22-Apr-09; 01-Sep-09)
-
Peter Aczel
("A Generalized Church-Rosser Theorem", later generalized by Klop)
(07-Aug-06; 25-Sep-09)
-
Sherman Alpert
("Primitive Types Considered Harmful")
(16-May-04; 05-Oct-09)
-
Henry Baker's Archive of Research Papers
(05-Dec-02; 17-Aug-09)
-
Alan Bawden —
First-class Macros Have Types
(28-Oct-09)
-
Luca Cardelli
(23-May-08; 29-Jul-09)
-
Henning Christiansen
(his Ph.D. Thesis was "Programming as language development")
(04-Dec-97; 20-Nov-09)
-
Will Clinger
(15-Nov-02; 16-Nov-09)
-
Pierre-Louis Curien
(lambda calculi and explicit substitutions;
director of research at CNRS)
(11-Dec-07; 15-Nov-09)
-
Olivier Danvy
(calculi, continuations, partial evaluation, ...)
(19-Sep-01; 08-Aug-09)
-
E.W. Dijkstra (1930–2002)
(03-Mar-08; 15-Aug-09)
-
R. Kent Dybvig (Chez Scheme)
(17-Sep-03; 19-Sep-09)
-
Martin Erwig (monads)
(13-Oct-03; 12-Nov-09)
-
Matthias Felleisen's Home Page
(22-Jan-02; 02-Oct-09)
-
Andrzej Filinski
(his Master's Thesis was
"Declarative Continuations and Categorial Duality")
(19-Sep-01; 09-Nov-09)
-
Dan Friedman (coauthor of The Little Schemer)
(10-Dec-02; 11-Aug-09)
-
Richard P. Gabriel (Lisp)
(09-Feb-04; 07-Nov-09)
-
Paul Graham
(author of On Lisp)
(26-Sep-02; 30-Sep-09)
-
Paul Hudak (Haskell, monads, ... music)
(31-Aug-03; 09-Jul-09)
-
Mark P Jones
(monads;
'use of advanced programming technologies for system programming')
(31-Jul-06; 25-Oct-09)
-
Gregor Kiczales
(aspect-oriented programming)
(30-Mar-04; 08-Jul-09)
-
Jan Willem Klop (generalizations of λ-calculus, etc.)
(06-Jul-06; 16-Sep-09)
-
Shriram Krishnamurthi
(13-Oct-00; 20-Oct-09)
-
Cameron Laird (scripting; tcl)
(18-Aug-07; 05-Jul-09)
-
John McCarthy (LISP)
(09-Apr-04; 03-Aug-09)
-
M. Douglas McIlroy (a founding father of extensibility)
(11-Jun-04; 17-Oct-09)
-
Albert R. Meyer
(various deep theory stuff; Wand cites him for eval/quote)
(07-Aug-06; )
-
Dale Miller
(some very cool stuff at the interface between higher-order logic
and programming; he's academically a grandchild of Alonzo Church)
(17-Jun-03; 04-Oct-09)
-
John C. Mitchell
("On abstraction and the expressive power of programming languages",
1993)
(04-Nov-99; 14-Aug-09)
-
Luc Moreau ("A Syntactic Theory of Dynamic Binding")
(18-Sep-03; 01-Oct-09)
-
Kent Pitman
(09-Sep-03; 19-Nov-09)
-
Gordon Plotkin
("Call-by-Name, Call-by-Value, and the Lambda Calculus")
(04-Oct-99; 04-Nov-09)
-
John C. Reynolds
(coined the term "meta-circular evaluator")
(19-Sep-05; 18-Jul-09)
-
Tim Sheard
(lately, Generalized Algebraic Data Structures)
(28-Apr-06; 13-Oct-09)
-
Olin Shivers (lambda calculus, Scheme, control and scope, ...)
(11-Sep-07; 06-Sep-09)
-
Mike Sperber (partial evaluation, Scheme)
(21-Sep-04; 22-Nov-09)
-
Gerald Jay Sussman
(coauthor of the Wizard Book)
(20-Jan-00; 23-Oct-09)
-
Walid Taha (multi-stage programming)
(17-Jun-03; 18-Aug-09)
-
Mads Tofte
(big step operational semantics)
(18-Oct-04; 09-Nov-09)
-
Phil Wadler (GJ; monads)
(14-Feb-04; 12-Oct-09)
-
Mitchell Wand's Home Page
("The Theory of Fexprs is Trivial")
(15-Oct-02; 12-Nov-09)
-
Abstraction theory
Oxymoron:
a juxtaposition of words that narrowly misses being self-contradictory,
thus conveying its meaning with precision.
-
International Sociobiology Institute
It was at "http://hrolson.freeyellow.com/page4.html",
and disappeared when FreeYellow discontinued free Web hosting plans.
When last I checked (three years later),
there were still broken links to it all over the web, because
(1) it was pretty much the
page people linked to on sociobiology, and
(2) people don't bother to check that their web links still work,
even though broken links are rampant and can severely degrade the value of
a collection of links.
(Not that I don't know how that happens;
I too learned the hard way that web content has to be maintained,
witness my adaptive grammar pages...
but it's still kind of disappointing to see.
My surfing page is, of course, my own partial solution to the problem,
allowing me to keep a big pile of links without spending more than about
fifteen minutes a day on it... most days...)
01-Sep-00; 10-Mar-04.
-
La Paranoia Home Page.
It was at "http://www.paranoia.com/",
what is by now quite a long time ago.
25-Oct-95; 19-Nov-99.
When they took the fourth amendment, I was quiet because I didn't deal drugs.
When they took the sixth amendment, I was quiet because I was innocent.
When they took the second amendment, I was quiet because I didn't own a gun.
Now they've taken the first amendment, and I can say nothing about it.