Top
>
Computers
>
Programming
>
Languages
> Goedel
Goedel
See Also:
Computers/Programming/Languages/Declarative
Computers/Programming/Languages/Garbage Collected
Computers/Programming/Languages/Logic-based
Listings:
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.
Web
hop2.co.uk
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
Other sites of interest
:
whaddyafancy?
|
keithhinde.com
