ICFP 2018 (series) / Tutorials /
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
Fri 28 Sep 2018 09:00 - 12:00 at Texas Special - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages Chair(s): Ronald Garcia, Éric Tanter
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 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 12:00 | T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed LanguagesTutorials at Texas Special Chair(s): Ronald Garcia University of British Columbia, Éric Tanter University of Chile & Inria Paris | ||
09:00 3hOther | T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages Tutorials |