Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

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

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
3h
Other
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
Tutorials
Ronald Garcia University of British Columbia, Éric Tanter University of Chile & Inria Paris