A Coalgebraic Foundation for Coinductive Union Types.

Marcello M. Bonsangue Jurriaan Rot Davide Ancona Frank S. de Boer Jan J. M. M. Rutten

Published in: ICALP (2) (2014)

Keyphrases

data sets
information retrieval
database
machine learning
artificial intelligence
social networks
feature extraction
objective function
multi agent
data structure
multiple types