Goedel
3 links
The Gödel Programming Language
cs.bris.ac.uk
Declarative, general-purpose programming language in the set of logic languages. Strongly typed: type system based on many-sorted logic with parametric polymorphism.
The Gödel Programming Language
scs.leeds.ac.uk
Experimental Gödel with Generic (Parametrised) Modules.
Showing 20–3 of 3 results