MOZ 2004
Information on an international Mozart/Oz conference. [This site refers to a past event, but contains research papers that may be of interest.] (October 7, 2004)
Programming Languages and Distributed Computing
Research at the Universite catholique de Louvain (UCL) centered around the Oz language. Topics include peer-to-peer programming, security, tools for collaborative applications, human-computer interfaces, and teaching computer programming.
Oz Programming Language
Description, well written, growing, with some links. [Wikipedia]
The Mozart Programming System
Description with references. Compares Oz to some other logic-based languages.
CTMWiki: Topics: CTM in Other Languages: Alice ML
Wiki translating many CTM book sample programs into Alice, a statically typed language extending Standard ML with features of Oz. Divided into chapters.
CTMWiki
Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.
Concepts, Techniques, and Models of Computer Programming
Companion website to textbook, teaches programming via Oz language, presents all major programming paradigms in a unified framework that is theoretically sound and practical. Many references, reviews, links.
[ 1 ]
|
