Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Thu 17 Jan 2019 14:07 - 14:29 at Sala I - Type Inference I Chair(s): Michael Hicks

We present a novel typed language for extensible data types, generalizing and abstracting existing systems of row types and row polymorphism. Extensible data types are a powerful addition to traditional functional programming languages, capturing ideas from OOP-like record extension and polymorphism to modular compositional interpreters. We introduce row theories, a monoidal generalization of row types, giving a general account of record concatenation and projection (dually, variant injection and branching). We realize them via qualified types, abstracting the interpretation of records and variants over different row theories. Our approach naturally types terms untypable in other systems of extensible data types, while maintaining strong metatheoretic properties, such as coherence and principal types. Evidence for type qualifiers has computational content, determining the implementation of record and variant operations; we demonstrate this in giving a modular translation from our calculus, instantiated with various row theories, to polymorphic λ-calculus.

Thu 17 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:45 - 14:51: Type Inference IResearch Papers at Sala I
Chair(s): Michael HicksUniversity of Maryland, College Park
13:45 - 14:07
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
Research Papers
Jana DunfieldQueen's University, Kingston, Ontario, Neel KrishnaswamiComputer Laboratory, University of Cambridge
Link to publication DOI Media Attached
14:07 - 14:29
Abstracting Extensible Data Types; Or, Rows By Any Other Name
Research Papers
J. Garrett MorrisUniversity of Kansas, USA, James McKinna
Link to publication DOI Media Attached
14:29 - 14:51
Polymorphic Symmetric Multiple Dispatch with Variance
Research Papers
Gyunghee ParkKAIST, Oracle Labs, Jaemin HongKAIST, South Korea, Guy L. Steele Jr.Oracle Labs, Sukyoung RyuKAIST, South Korea
Link to publication DOI Media Attached File Attached