H ? « »

Language peer sets for BMF:
United Kingdom
United Kingdom/1990
Designed 1990
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: United Kingdom
Designed 1990
Published: 1990

for Bird-Meertens Formalism.

A calculus for derivation of a functional program from a given specification. Also known as Squiggol.

Related languages
BMF Squigol   Implementation

  • (1990) "The Squiggolist", ed Johan Jeuring, published irregularly by CWI Amsterdam.
  • Bird, R.S. (1990) Bird, R.S. "A Calculus of Functions for Program Derivation", in Res Topics in Fnl Prog, D. Turner ed, A-W 1990.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder