refinement types

Dependent types, refinement types, gradual types, rank-n polymorphism, etc, – we are moving in the right direction

Design and Implementation of Programming Language with Generalized Sets, Types, and Functions as First-Class Values