SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Sun 12 Oct 2025 09:00 - 09:22 at Video Conference Room (VCR) - Functional Programming Chair(s): Mae Milano

We present a type system for a subset of blazon, the language historically used to describe coats of arms. The type system prevents several forms of invalid blazons as well as violations of stylistic conventions. We implement the system as a command-line application and use it to analyze a corpus of historical blazons, identifying several as convention-breaking.

Sun 12 Oct

Displayed time zone: Perth change

09:00 - 10:30
Functional ProgrammingFARM at Video Conference Room (VCR)
Chair(s): Mae Milano Princeton University
09:00
22m
Paper
Type-safe Blazon - Enforcing Pedantry in Heraldic Design
FARM
Matthew Lutze Aarhus University
09:22
22m
Demonstration
How to Score in the Art Racket
FARM
09:45
22m
Demonstration
Rocq N'Roll
FARM
Roger Burtonpatel University of Pennsylvania, Claire Wang University of Pennsylvania
10:07
22m
Demonstration
I Am Your Co-Pilot
FARM
Dylan Davis Swinburne University