Login / Signup

Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization.

Gérard P. Huet
Published in: FSCD (2016)
Keyphrases
  • functional programming
  • functional language
  • computer algebra
  • quantifier elimination
  • e learning
  • artificial intelligence
  • programming language
  • execution model
  • object oriented programming
  • inference rules