A step-indexed model of substructural state.

Amal J. Ahmed Matthew Fluet Greg Morrisett

Published in: ICFP (2005)

Keyphrases

management system
computational model
search engine
high level
mathematical model
statistical model
closed form
machine learning
hidden markov models
probability distribution
parameter estimation
conceptual model
neural network model