Search for
Home > Computers > Programming > Languages >

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