Login / Signup

Extending a Functional Programming System for Embedded Applications.

Malcolm WallaceColin Runciman
Published in: Softw. Pract. Exp. (1995)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • information systems