Login / Signup

Type-Based Termination with Sized Products.

Gilles BartheBenjamin GrégoireColin Riba
Published in: CSL (2008)
Keyphrases
  • type checking
  • learning algorithm
  • data structure
  • database
  • information retrieval
  • search algorithm