Lambda Associates
Advanced Software Technology

Lambda Associates aims to provide advanced open source Lisp freeware for students, educators, and scientists engaged in software research.

The Mission

Our mission is to modernise Lisp towards Lisp for the C21.

Our Approach

We build on top of the best of what has been done, and for that reason, the foundation of our work is in Lisp. But though all of our work is based on Lisp, most of our actual coding is in Qi.

Qi is an award-winning Lisp-based functional programming language that offers the best of Common Lisp with the advantages of pattern matching, l calculus consistency, and optional static type checking. It uses sequent calculus notation to define types, and has the most powerful type system of any existing functional language, including ML and Haskell.