MetaXearch > / Programming / Languages / Goedel / 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. (infos) The Gödel Programming Language Experimental Gödel with Generic (Parametrised) Modules. (infos) Gödel Tutorial A rather brief "tutorial" from Walla Walla. (infos) Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Statistics

• 3 364 436 urls

© MetaXearch - All rights reserved