The Mozart Programming System is an advanced development platform for intelligent, distributed applications. The system is the result of a decade of research in programming language design and implementation, constraint-based inference, distributed comput
"I am a professor of computer science in Orléans (teaching: IUT, UFR Sciences - research: LIFO). My general interests are in programming language design and implementation, constraint programming, and computational linguistics."
MIT textbook that uses Oz. "This book follows in the fine tradition of Abelson/Sussman and Kamin's book on interpreters, but goes well beyond them..." --Peter Norvig