Demo: functors and music. - Heinrich Apfelmus (FARM@ICFP, 2019)

Algebraic reasoning for timeliness-guided system design. - Seyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus; Peter Thompson 002; Neil J. Davies; Magne Haveraaen; Mikhail Barash; Kevin Hammond; James Chapman 001; Artjoms Sinkarovs (J. Log. Algebraic Methods Program., 2026)