Home >> Computers >> 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. The Gödel Programming Language Experimental Gödel with Generic (Parametrised) Modules. Gödel Tutorial A rather brief "tutorial" from Walla Walla. Computers: Programming: Languages: Declarative Computers: Programming: Languages: Garbage Collected Computers: Programming: Languages: Logic-based
© 2005 GeneralAnswers.org