Bomis: The Computers/Programming/Languages/Goedel Ring

Bomis: The Computers/Programming/Languages/Goedel Ring

Build a ring
Suggest URL!
Email ringmaster!
Ring Info!

See also...

...Computers/Programming/Languages

Home My Bomis Webmasters What's New? Ring Rankings

Ring sites

1.	Gödel Tutorial
	from Walla Walla cs.wwc.edu

2.	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

3.	Gödel with Parametrised Modules
	Experimental Gödel with Generic (Parametrised) Modules www.scs.leeds.ac.uk

Click here for your FREE Bomis Search toolbar!

Search Bomis for
Goedel

Other Popular
Bomis Searches
harry potter
osama bin laden
computer game
software
computing
laptop
cancer
computer hardware
business
e-commerce
aids
education
ebay
palm pilot

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor