POPL 2026 (series) / PADL 2026 (series) / PADL 2026: The 28th International Symposium on Practical Aspects of Declarative Languages /
A Functional Logic Perspective on Indentation-Sensitive Parsing (Short Paper)
Parsing is one of the foundational problems in the field of programming languages. While the theory of parsing with context free grammars is well understood, parsing more complex languages remains a hard problem. Indentation-sensitive languages are an important subset of languages that have been studied extensively. We build on both Adams’ work of indentation-sensitive parsing and Caballero et al’s work on function logic parsing to show how functional logic languages can elegantly solve the problem of indentation sensitive parsing.
Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 30mTalk | A Functional Logic Perspective on Indentation-Sensitive Parsing (Short Paper) PADL Steven Libby University of Portland | ||
11:30 30mTalk | A One-Pass CPS Transform with Simulation on the Nose PADL Pascal Y. Lasnier , Jeremy Yallop University of Cambridge, Magnus O. Myreen Chalmers University of Technology | ||
12:00 30mTalk | Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut PADL | ||