Main Page | Recent changes | Edit this page | Page history

Printable version | Disclaimers

Not logged in
Log in | Help
 

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 *


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.

Retrieved from "http://www.codepoetics.com/wiki/index.php?title=Topics:CTM_in_other_languages:Alice_ML"

This page has been accessed 15469 times. This page was last modified 03:30, 24 Jan 2009.


[Main Page]
Main Page
Recent changes
Random page
Current events

Edit this page
Discuss this page
Page history
What links here
Related changes

Special pages
Bug reports