Search 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