Leda is a multiparadigm programming language. The idea of a multiparadigm language is to provide a framework in which programmers can work in a variety of styles, freely intermixing constructs from different paradigms. The techniques supported by Leda include imparative programming, the object-oriented approach, logic programming, and functional programming.
Reported bugs in the distribution.
A complete description of Leda can be found in the book, Multiparadigm Programming in Leda, published by Addison-Wesley, 1995. Sample chapters from this book are available on-line; these include an introduction to the Leda language and a formal description of the Leda grammar.
Addison-Wesley advertising copy
Other information, including sources for several implementations and various technical reports and other documentation, can be obtained using anonymous ftp or through the www from the machine ftp.cs.orst.edu, in the directory pub/budd/leda.