Mixed linear and non-linear recursive types.

Bert Lindenhovius Michael W. Mislove Vladimir Zamdzhiev

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

neural network
image sequences
database
information systems
multimedia
decision trees
information technology
management system
multiple types