Programming/Languages/Goedel : Computer Data

computer data.com

Home
Link To Us
Add a link
Modify a link
New Links
Search

Web Host Coupons

Home: Programming: Languages: Goedel

Links

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. (Rating: 0.00 Votes: 0) Rate It

Gödel Tutorial
A rather brief "tutorial" from Walla Walla (Rating: 0.00 Votes: 0) Rate It

Gödel with Parametrised Modules
Experimental Gödel with Generic (Parametrised) Modules (Rating: 0.00 Votes: 0) Rate It

Web Hosting

Web Hosting

Save 50-70% on INK cartridges.

Save 50-70% on INK cartridges.

Inkjet Cartridges

GoToMyPC

GoToMyPC

Go to my PC

coupons

coupons

Coupons

Discount Software

Copyright Computer-Data.com © 2003. All Rights Reserved.