| |
Generalization of BETA language via interpreter/compiler, strict, static type-checked. Ph.D. project. Descriptions of modularization, lazy analysis, compatibility; tutorial, papers, FAQ, downloads, bug reports. [Open Source, GPL] http://www.daimi.au.dk/~eernst/gbeta/ |
|