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

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