Login / Signup

Combining Strict and Soft Typing in Functional Programming.

Manfred WideraChristoph Beierle
Published in: GI Jahrestagung (1999)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • cost model