(formerly Encyclopedic directory)
Goedel
Home /
Top /
Computers /
Programming /
Languages /
Goedel
(formerly Encyclopedic directory)
See also:
|
 |
 |
|
|
Insert Article
|
|
|
|
Webmasters: Add your website here:
Readers: Edit |
Discuss Listings
Gödel Tutorial
A rather brief "tutorial" from Walla Walla.
http://cs.wwc.edu/~cs_dept/KU/PR/Godel.html
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
The Gödel Programming Language
Experimental Gödel with Generic (Parametrised) Modules.
http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html
|
|
