ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium
Mon 29 Jun 2026 14:45 - 15:07 at I.2.02 - Programming Abstractions I Chair(s): Krishna Narasimhan

We present Metis, a domain-specific language embedded in Haskell for two-player grid-based board games that exploits their shared structure (setup, rules, win condition) through three composable mini-DSLs. Atomic operations for placing, moving, and capturing pieces combine with filters, union, and sequencing to form rulesets; win conditions and evaluation functions reuse the same compositional pattern. With just 13 rule expressions Metis can express 80% of games from a catalog of 168 abstract games. The structure also supports game-playing agents through composable search and evaluation components.

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 15:30
Programming Abstractions IGPCE at I.2.02
Chair(s): Krishna Narasimhan TU Darmstadt
14:00
22m
Talk
Programmable record types in Haskell
GPCE
Arthur Jamet University of Kent, Michael Vollmer University of Kent
14:22
22m
Talk
Modular Substructural Constraints for Embedded DSLs
GPCE
Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL
14:45
22m
Talk
Metis: A Compositional DSL for Board Games and Game Tree Search
GPCE
Thomas Kottenhahn University of Mainz, Prashant Kumar
15:07
22m
Talk
Synthesizing Recursive Functional Programs via Structure-Element Separation
GPCE
Junyu Lin The University of Tokyo, Akimasa Morihata University of Tokyo