- Gödel Tutorial
A rather brief "tutorial" from Walla Walla.
http://www.cs.wwc.edu/KU/PR/Godel.html
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- The Gödel Programming Language
Experimental Gödel with Generic (Parametrised) Modules.
http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html
(Added: Fri Mar 31 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://www.cs.bris.ac.uk/~bowers/goedel.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
|
|
