Sign in

Towards a mechanized metatheory of standard ML.

Daniel K. LeeKarl CraryRobert Harper
Published in: POPL (2007)
Keyphrases
  • maximum likelihood
  • decision making
  • information systems
  • genetic algorithm
  • learning algorithm
  • natural language
  • feature space
  • expert systems
  • artificial neural networks
  • probabilistic model