Gradual typing

This is a placeholder page.

Suggested content to add to this page:

• The graduality property, gradual guarantee, etc.
• Links to papers
• Topics specific to Erlang, e.g. subtyping, unions, etc.