A type system to avoid runtime errors for Multi-ML.

Frédéric Gava Victor Allombert Julien Tesson

Published in: ISPDC (2022)

Keyphrases

maximum likelihood
decision trees
data structure
real time
databases
genetic algorithm
website
web services
three dimensional
video sequences
cooperative
special case
multiple types