PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Wed 26 Jun 2024 13:40 - 14:00 at Sweden - Types and Effects Chair(s): Yizhou Zhang

Wed 26 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
Types and EffectsPLDI Research Papers at Sweden
Chair(s): Yizhou Zhang University of Waterloo
13:40
20m
Talk
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
PLDI Research Papers
Atsushi Igarashi Kyoto University, Shota Ozaki Kyoto University, Taro Sekiyama National Institute of Informatics, Yudai Tanabe Tokyo Institute of Technology
DOI
14:00
20m
Talk
Associated Effects
PLDI Research Papers
Matthew Lutze Aarhus University, Magnus Madsen Aarhus University
DOI
14:20
20m
Talk
Decidable Subtyping of Existential Types for Julia
PLDI Research Papers
Julia Belyakova Purdue University, Benjamin Chung JuliaHub, Ross Tate Independent Consultant, Jan Vitek Northeastern University
DOI
14:40
20m
Talk
Numerical Fuzz: A Type System for Rounding Error Analysis
PLDI Research Papers
Ariel E. Kellison Cornell University, Justin Hsu Cornell University
DOI
15:00
20m
Talk
Stream Types
PLDI Research Papers
Joseph W. Cutler University of Pennsylvania, Chris Watson University of Pennsylvania, Emeka Nkurumeh California Institute of Technology, Phillip Hilliard University of Pennsylvania, Harrison Goldstein University of Pennsylvania, Caleb Stanford University of California, Davis, Benjamin C. Pierce University of Pennsylvania
DOI