Miranda: The Craft of Functional Programming
By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymorphism, larger-scale programming. [University of Kent]
http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/

OCaml for Scientists
Book: OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/

Qu-Prolog
The School of Information Technology and Electrical Engineering - QuProlog Home
http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html

Order Carnivora
About the mammalian order Carnivora, which is the result of a great radiation of mammals that ate meat. Not all meat eaters are in this order, however. Most members of the Order Carnivora can be recognized by their enlarged fourth upper premolar and first lower molar.
http://animaldiversity.ummz.umich.edu/site/accounts/information/Carnivora.html

Relevant Business Systems
Relevant Business Systems - Enterprise Resource Planning (ERP) for the Aerospace and Defense, Contract Manufacturing and Engineer to Order (ETO) manufacturing industries. Take advantage of the unprecedented project management, Work Breakdown Structure or Maintenance Repair and Overhaul capabilities in Relevant's ERP Software. Software development, consulting services, and technical support for the life of your product. Work breakdown structure, earned value accounting, engineering, materials, inventory, production, sales, purchasing, and project management perspectives all jointly managed with the Relevant Business Systems ERP solution.
http://www.relevant.com/

Napier88
Programming system (language and persistent environment) from University of St Andrews. Features: orthogonal persistence, type completeness, higher-order procedures, abstract (existential) data types, collections of bindings, strongly typed stable store, graphical data types, concurrent execution and data access, support for reflective programming.
http://www-ppg.dcs.st-and.ac.uk/Languages/Napier88/

OnlineTesting
Offers software and programming services in order to offer online quizzes and tests through the Internet or within an Intranet.
http://www.onlinetesting.net/

The C++ Programming Lair
computing_and_technology
http://apurvaslair.50g.com/cpp/

Hope
A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.
http://www.soi.city.ac.uk/~ross/Hope/

CDuce
An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.
http://www.cduce.org