Login / Signup

Out-of-Core Functional Programming with Type-Based Primitives.

Tyng-Ruey ChuangShin-Cheng Mu
Published in: PADL (2000)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • object oriented programming
  • quantifier elimination
  • complex objects