October 1996
by Paul Mclachlan
aka subtle
This document outlines the purpose and availability of the other Key documentation available. Without further ado...
The technical notes contain examinations of some of the more 'interesting' parts of the implementation. Topics include communication, atoms, the scheduler and tries.
The specification contains a general introduction to Key, as well as the design goals of the system.
The class by class documentation.
The list of people who've been involved in the creation of Key