Bird-Meertens Formalism
From Seo Wiki - Search Engine Optimization and Programming Languages
Jump to navigationJump to search
The Bird-Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting), devised by Richard Bird and Lambert Meertens.
It is sometimes facetiously known as Squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.
See also
References
- {{{Expansion depth limit exceeded}}}{{Expansion depth limit exceeded|, {{{Expansion depth limit exceeded}}}
}} ({{Expansion depth limit exceeded|{{{Expansion depth limit exceeded}}}| }}). {{Expansion depth limit exceeded|
|{{Expansion depth limit exceeded|{{Expansion depth limit exceeded||p. }}{{{Expansion depth limit exceeded}}}
|{{Expansion depth limit exceeded|{{Expansion depth limit exceeded||pp. }}{{{Expansion depth limit exceeded}}}
|
}}
}}
}}. ISBN 0-13-507245-X.
External links
- Bird Meertens Formalism on the Program Transformation Wiki
| Stub icon | This computer science article is a stub. You can help Wikipedia by expanding it. |
If you like SEOmastering Site, you can support it by - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 and more...
→
