T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
Abstracting Gradual Typing (AGT) is an approach to systematically developing gradually-typed programming languages from pre-existing statically typed languages. This tutorial will introduce concepts of gradual typing as well as the AGT approach to language design.
This tutorial is primarily intended for researchers in functional programming languages. We assume a basic knowledge of type systems as can be acquired from an advanced undergraduate or early graduate course in programming language semantics and type systems using materials like e.g., Types and Programming Languages (Pierce) or Practical Foundations for Programming Languages (Harper).
Fri 28 Sep
|09:00 - 12:00|