POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Mon 20 Jan 2025 11:00 - 11:30 at Duck, Duck Goose - Session 2 Chair(s): Michael Hanus

Heterogeneously typed sequences are supported in a wide range of programming languages, both dynamically and statically typed. These sequences often exhibit type patterns such as repetition, alternation, and optionality. The programmer needs a mechanism to declare and query adherence to this regularity. The theory of finite automata over finite alphabets was conceived for characterizing patterns in so-called regular languages, but does not exactly meet this challenge, because the set of potential elements of the sequences is infinite. In this article, we present a generalization of regular expressions called rational type expressions as a means of declaring regular patterns in heterogeneous sequences. We present procedures for constructing and manipulating symbolic finite automata, a generalization of classical finite automata, using a portable, simple, embeddable, type system. For type systems with subtyping, the subtype relation and type vacuity cannot always be computed programmatically. We provide a working, sound solution for constructing finite automata for type-based regular expressions even in cases where the subtype decidability relations is not computable retrospectively, but can be ensured by construction. We demonstrate the generality and portability of the system by providing implementations in Common Lisp, Clojure, Scala, and Python.

Assistant Research Professor at EPITA Research Lab (LRE)

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

11:00 - 12:30
Session 2PADL at Duck, Duck Goose
Chair(s): Michael Hanus Kiel University
11:00
30m
Talk
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
PADL
Jim Newton EPITA / LRE https://www.lre.epita.fr
11:30
30m
Talk
Haskell Based Spreadsheets
PADL
Ignacio Ballesteros IMDEA Software Institute and Universidad Politécnica de Madrid, Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
File Attached
12:00
30m
Talk
The Scenic Route to Deforestation
PADL
Steven Libby , Vincent Robinson University of Portland