Special Features

A higher-order functional language.

Statically type-checked, but polymorphic.

Incorporates automatic type inference.

Incorporates pattern matching.

Garbage-collected.

Has a formal semantics.

Previous slide

Next slide

Back to first slide

View graphic version