Efficient Run-Times for Sound Gradual Typing
Gradual typing is a popular concept that aims to enable unconstrained rapid protoyping while keeping the cost to obtain the benefits of static type checking later on very low. To date, no efficient implementations of gradual typing with expressive enough type systems and satisfying formal properties are known. I discuss these problems in more detail, and argue that in order to solve efficiency problems it will be worthwhile to investigate run-time implementation strategies specifically designed with gradual typing in mind.
Sun 18 Jun
|11:00 - 11:30|
Julian DolbyIBM Thomas J. Watson Research Center
|11:30 - 12:00|
|12:00 - 12:30|