Login / Signup

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types

Daisuke KimuraMakoto Tatsuta
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases
  • natural language
  • machine learning
  • data structure
  • real time
  • social networks
  • computer vision
  • image processing
  • decision trees
  • evolutionary algorithm
  • hidden markov models
  • concept learning