1. The Gödel Programming Language - Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism. 2. The Gödel Programming Language - Experimental Gödel with Generic (Parametrised) Modules. 3. Gödel Tutorial - A rather brief "tutorial" from Walla Walla.

Help build the largest human-edited directory on the web. Submit a Site - Update a Site - Open Directory Project - Become an Editor

© 2008 Chamas Enterprises Inc.