gbeta
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]