Computing (FOLDOC) dictionary
Jump to user comments
theory, programming (BMF) (Or "Squiggol") A calculus for
["A Calculus of Functions for Program Derivation", R.S. Bird,
in Res Topics in Fnl Prog, D. Turner ed, A-W 1990].
["The Squiggolist", ed Johan Jeuring, published irregularly by
CWI Amsterdam].
(1995-05-01)