Login / Signup

Compositional References for Stateful Functional Programming.

Koji Kagawa
Published in: ICFP (1997)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • quantifier elimination
  • object oriented programming
  • xml documents
  • fine grained
  • data types
  • distributed databases