Sign in
The Semantics of Miranda's Algebraic Types.
Kim B. Bruce
Jon G. Riecke
Published in:
MFPS (1987)
Keyphrases
</>
data mining
image sequences
linear algebra
algebraic structure
neural network
machine learning
social networks
case study
bayesian networks
default reasoning
semantic representation
transformation rules
algebraic expressions