Richard Bird

mentions 2 type Person feed RSS

// recent coverage 2 mentions

23:31

2026-10-05

satnam6502.github.io

ai-research

Formally deriving programs from specifications (Bird-Meertens) using Lean 4

Satnam Singh has replayed Richard Bird's 1989 Bird–Meertens derivation of Kadane's algorithm in Lean 4, publishing the verified code in the Kadane.lean file on GitHub. The derivation is a single calc …

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 8 entities

Lambert Meertens 1 IFIP Working Group 2.1 1 Larch Prover 1 Lean 4 1 Satnam Singh 1 Bird–Meertens formalism 1 Kadane's algorithm 1 Kadane.lean 1

// topics top 2 topics

ai research 2 machine learning 1