cd/entity/Lambert Meertens· home› entities› Lambert Meertens
grep -l @lambert meertens /news/*.json | wc -l → 1

@Lambert Meertens

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
Richard Bird 1 IFIP Working Group 2.1 1 Larch Prover 1