Oregon State University. Dept. of Computer Science; Budd, Timothy (Corvallis, OR : Oregon State University, Dept. of Computer Science, 1994-09-20)
This paper describes features of a new strongly typed, compiled programming language, called LEDA. LEDA attempts to combine aspects of both imperative (value-oriented) and logical (relation-oriented) styles of programmin ...