Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bird–Meertens_Formalism> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Bird–Meertens_Formalism abstract "The Bird–Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1.It is sometimes referred to in publications as BMF, as a nod to Backus-Naur Form. Facetiously it is also referred to as Squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.".
- Bird–Meertens_Formalism wikiPageID "4692157".
- Bird–Meertens_Formalism wikiPageRevisionID "603585810".
- Bird–Meertens_Formalism subject Category:Functional_languages.
- Bird–Meertens_Formalism comment "The Bird–Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1.It is sometimes referred to in publications as BMF, as a nod to Backus-Naur Form. Facetiously it is also referred to as Squiggol, because of the "squiggly" symbols it uses.".
- Bird–Meertens_Formalism label "Bird–Meertens Formalism".
- Bird–Meertens_Formalism sameAs Bird%E2%80%93Meertens_Formalism.
- Bird–Meertens_Formalism sameAs Q4916175.
- Bird–Meertens_Formalism sameAs Q4916175.
- Bird–Meertens_Formalism wasDerivedFrom Bird–Meertens_Formalism?oldid=603585810.