Teaching Edition!

(Compile-time part: Gradual Type Checker and Compilation Procedure to the Cast Language)
(Also visit the Gradualizer Teaching Edition! for the Run-time part)

Choose your interaction mode with the Gradualizer:
Language Designer   Tutorial (coming soon)  

Select a language from the library  
Rules Declarations Draw

Rules Declarations          (The LateX presentation of the system will appear below)