Researches programming environment where advanced language concepts and formal development methods are used to make production-quality software. Strongly typed, higher-order, strict, pure FL; so can be classed with ML, Haskell, and other modern FLs. B...
University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal.
A Scheme interpreter implemented as a library which can be embedded into C programs, as well as a standalone interpreter. Mostly R5RS, Guile compatible, and includes regular expressions and most Posix functions.