Module types 

Type system for Seq

Based on cem2’s row polymorphism design with improvements. Supports stack effect declarations like: ( ..a Int – ..a Bool )

Structs

Effect

Stack effect: transformation from input stack to output stack Example: ( ..a Int – ..a Bool ) means:

Enums

StackType

Stack types with row polymorphism

Type

Base types in the language