Login / Signup

Automation for Dependently Typed Functional Programming.

Sean WilsonJacques D. FleuriotAlan Smaill
Published in: Fundam. Informaticae (2010)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • quantifier elimination
  • execution model
  • object oriented programming
  • databases
  • artificial intelligence
  • high level
  • data warehouse
  • key features