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

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Texas Special
Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-Tutorials09:00 - 12:00
Other
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris