ICFP/SPLASH 2025 (series) / SPLASH 2025 (series) / FARM Performance /
Paper: Type-safe Blazon - Enforcing Pedantry in Heraldic Design
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.