Login / Signup

Syntactic soundness proof of a type-and-capability system with hidden state.

François Pottier
Published in: J. Funct. Program. (2013)
Keyphrases
  • hidden state
  • markov models
  • hidden markov models
  • reinforcement learning
  • natural language
  • dynamical systems
  • maximum entropy
  • markov model