Write a Blog >>
Sun 18 Jun 2017 12:00 - 12:30 at Vertex WS208 - Session 2

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

ecoop-2017-Doctoral-Symposium
11:00 - 12:30: ECOOP Doctoral Symposium - Session 2 at Vertex WS208
ecoop-2017-Doctoral-Symposium11:00 - 11:30
Talk
Julian DolbyIBM Thomas J. Watson Research Center
ecoop-2017-Doctoral-Symposium11:30 - 12:00
Talk
ecoop-2017-Doctoral-Symposium12:00 - 12:30
Talk