Topics:CTM in other languages:Alice ML
From CTMWiki
The relationship between Alice and the Oz is not accidental, with some developers involved in both projects at one time or another. The primary focus of Alice is to bridge the gap between static type checking and the multi-paradigm approach (as attested to in CTM) available in a dynamic language like Oz. The approach taken here is to hopefully show that the two languages share much in common.
| CTM (http://www.info.ucl.ac.be/~pvr/book.html) in Alice ML |
| Chapter 1 |
| Chapter 2 |
| Chapter 3 |
| Chapter 4 |
| Chapter 5 |
| Chapter 6 |
| Chapter 7 |
| Chapter 8 |
| Chapter 9 * |
| Chapter 10 * |
| Chapter 11 * |
| Chapter 12 * |
[edit]
See Also
See also SICP Examples.
See also TRS Examples in Oz.
See also EOPL Examples in Oz and Alice ML.
See also TAPL Examples in Alice ML.
See also TAOCP Examples.
See also CLRS Examples in Oz.
See also PFDS Examples in Oz.
See also 99 Problems in Oz.
See also Project Euler in Oz.
![[Main Page]](/wiki/stylesheets/images/wiki.png)