NY State-Licensed Certificates in Design, Coding & AI — Online
Earn Your CS Degree, Tuition-Free, 100% Online!
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a conference presentation that introduces Miniblazon, a type-safe implementation of blazon—the traditional language used to describe coats of arms in heraldry. Learn how researcher Matthew Lutze from Aarhus University developed a type system that prevents invalid blazons and enforces stylistic conventions like the rule of tincture. Discover the technical approach behind creating a command-line application that can analyze historical blazons and identify convention-breaking examples from historical corpora. Understand how formal type systems can be applied to preserve and validate traditional descriptive languages, bridging computer science with historical practices in heraldic design. Gain insights into the intersection of programming language theory and cultural heritage preservation through this innovative application of type safety to medieval heraldic traditions.
Syllabus
[FARM'25] Type-safe Blazon - Enforcing Pedantry in Heraldic Design
Taught by
ACM SIGPLAN