malleable.systems
malleable.systems copied to clipboard
Add "Formality Considered Harmful" to the catalog
I'm only through the abstract, but "Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems" by Frank M. Shipman III and Catherine C. Marshall seems like a good fit.
Suggester: me