one of the largest directories of the web

 Valid XHTML 1.0!
HomeComputersComputersProgrammingProgrammingLanguagesLanguagesGoedelGoedel
add your own site to this category | Impressum

Home : Computers : Programming : Languages : Goedel

Goedel

Google
 
Web codpex.com

Sites in Goedel

Gödel Tutorial
A rather brief "tutorial" from Walla Walla.
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.

cross references

Computers : Programming : Languages : Declarative Computers : Programming : Languages : Declarative
Computers : Programming : Languages : Garbage Collected Computers : Programming : Languages : Garbage Collected
Computers : Programming : Languages : Logic-based Computers : Programming : Languages : Logic-based
Goedel - Directory Goedel - Directory Goedel - Directory Goedel - Directory
Tuesday, 07 October 2008