SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Wed 25 Oct 2023 16:00 - 16:18 at Room II - DSLs Chair(s): Ben Greenman

Fluent API is an object-oriented pattern for elegant APIs and embedded DSLs.
A smart fluent API can enforce the API protocol or DSL syntax at compile time.
Since fluent API implementations typically rely on overloading function names, they are hard to realize in functional programming languages.
This work shows how functional fluent APIs can be implemented in the absence of name overloading, by relying on parametric polymorphism and Hindley-Milner type inference.
The implementation supports fluent API protocols in the regular- and deterministic context-free language classes, and even beyond.

Wed 25 Oct

Displayed time zone: Lisbon change

16:00 - 17:48
DSLsOOPSLA at Room II
Chair(s): Ben Greenman Brown University, USA
16:00
18m
Talk
Fluent APIs in Functional Languages
OOPSLA
Ori Roth Technion, Yossi Gil Technion
DOI Pre-print
16:18
18m
Talk
A Pretty Expressive Printer
OOPSLA
Sorawee Porncharoenwase University of Washington, Justin Pombrio Unaffiliated, Emina Torlak Amazon Web Services, USA
DOI Pre-print
16:36
18m
Talk
How Domain Experts Use an Embedded DSL
OOPSLA
Lisa Rennels University of California at Berkeley, Sarah E. Chasins University of California at Berkeley
DOI
16:54
18m
Talk
Saggitarius: A DSL for Specifying Grammatical Domains
OOPSLA
Anders Miltner Simon Fraser University, Devon Loehr Princeton University, Arnold Mong Princeton University, Kathleen Fisher Tufts University, David Walker Princeton University
DOI
17:12
18m
Talk
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
OOPSLA
Huanqi Cao Tsinghua University, Shizhi Tang Tsinghua University, Qianchao Zhu Peking University, Bowen Yu Tsinghua University, Wenguang Chen Tsinghua University; Pengcheng Laboratory
DOI
17:30
18m
Talk
Translating canonical SQL to imperative code in Coq
OOPSLA
Véronique Benzaken Université Paris-Saclay - Laboratoire de Méthodes Formelles , Évelyne Contejean CNRS, ENS Paris-Saclay & Université Paris-Saclay, Houssem Hachmaoui , Chantal Keller Université Paris Saclay, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research, Jerome Simeon DocuSign, Inc.
Link to publication DOI