H ? « ‹ ← → › »

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

BMF(ID:1538/bmf001)

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.

People:
Structures:
Related languages
BMF → Squigol   Implementation
References:
  • (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