|
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.
url: www.cs.bris.ac.uk/~bowers/goedel.html
The Gödel Programming Language
Experimental Gödel with Generic (Parametrised) Modules.
url: www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html
Gödel Tutorial
A rather brief "tutorial" from Walla Walla.
url: cs.wwc.edu/~cs_dept/KU/PR/Godel.html
All the Web -
AltaVista -
Gigablast -
Google USENET -
Google -
Teoma -
Yahoo
|
|
