Login / Signup

A Statically Allocated Parallel Functional Language.

Alan MycroftRichard Sharp
Published in: ICALP (2000)
Keyphrases
  • functional language
  • functional programming
  • programming language
  • artificial intelligence
  • execution model
  • proof planning