|
|
|
|
Home / Computers / Programming / Languages / Goedel
|
|
|
|
Web Sites
|
- 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.
www.cs.bris.ac.uk/~bowers/goedel.html
- Gödel Tutorial - A rather brief "tutorial" from Walla Walla
cs.wwc.edu/~cs_dept/KU/PR/Godel.html
- Gödel with Parametrised Modules - Experimental Gödel with Generic (Parametrised) Modules
www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html
|
|
|
|
|