Featured Sites: Search Home Math for Students Mystery Book Store Math Book Store online dictionary Privacy Policy     Search Home : Computers : Programming : Languages : Goedel See Also: Computers: Top/Computers/Programming/Languages/Declarative Computers: Top/Computers/Programming/Languages/Garbage Collected Computers: Top/Computers/Programming/Languages/Logic-based Gödel Tutorial: A rather brief "tutorial" from Walla Walla. The Gödel Programming Language: Experimental Gödel with Generic (Parametrised) Modules. 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.          Math Book Store Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor Copyright © 2005-2007 All rights reserved. AllSites, LLC