cd/entity/Richard Bird· home› entities› Richard Bird
grep -l @richard bird /news/*.json | wc -l → 1

@Richard Bird

mentions 1 type Person feed RSS
06:59
2026-05-26
en.wikipedia.org
ai-research

Bird–Meertens Formalism

Richard Bird and Lambert Meertens developed the Bird–Meertens formalism (BMF), a calculus for deriving programs from specifications through equational reasoning in functional programming. The formalis…

// co-occurs with top 3 entities
Lambert Meertens 1 IFIP Working Group 2.1 1 Larch Prover 1