Write a Blog >>
Sat 25 Jan 2020 10:30 - 11:00 at Orleans - Programming features Chair(s): Giuseppe Castagna

Algebraic data types are a distinctive feature of statically typed functional programming languages. Existing gradual typing systems support algebraic data types with set-theoretic approaches, e.g., union and intersection types. What would it look like for a gradual typing system to support algebraic data types directly? We describe our early explorations of the design space of gradually typed algebraic data types using the Abstracting Gradual Typing methodology.

Gradul Algebraic Data Types (agtadt.key)1.57MiB

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: WGT - Programming features at Orleans
Chair(s): Giuseppe CastagnaCNRS - Université de Paris, France
wgt-2020-papers10:30 - 11:00
Michael GreenbergPomona College, Stefan MalewskiUniversity of Santiago de Chile, Éric TanterUniversity of Chile
Pre-print File Attached
wgt-2020-papers11:00 - 11:30
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
wgt-2020-papers11:30 - 12:00
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
wgt-2020-papers12:00 - 12:30
Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA