Sign in

A toolkit for parallel functional programming.

Pieter H. HartelRutger F. H. HofmanKoen LangendoenHenk L. MullerWillem G. VreeLouis O. Hertzberger
Published in: Concurr. Pract. Exp. (1995)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • quantifier elimination
  • programming language
  • object oriented programming
  • database
  • proof planning