Wadler's Blog

The Gelfand Principle: use the simplest example; Buchberger's White-Box and Black-Box principle: learn how to execute a process in detail, then suppress the details. Together with a real-life example of how to apply them to simplify exposition.