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 the squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.
| Property | Value |
|---|
| p:abstract
| - 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 the squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL. (en)
|
| p:hasPhotoCollection
| |
| rdf:type
| |
| rdfs:comment
| - 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 the squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL. (en)
|
| rdfs:label
| - Bird-Meertens Formalism (en)
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is p:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](http://dbpedia.org/statics/sw-cube.png)
