Search
The Directory
The Web
for
Home
>
Computers
>
Programming
>
Languages
>
Goedel
New!
Submit a site
whatUseek Collection Sites
(
submit a site
)
:
Give your site great placement in this category in as little as two business days!
whatUseek Directory Site Listings:
Gödel
- Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism.
Gödel Tutorial
- A rather brief "tutorial" from Walla Walla
Gödel with Parametrised Modules
- Experimental Gödel with Generic (Parametrised) Modules
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
About
Help
Content Filter
Terms
Privacy Policy
© 2018
whatUseek