Polymorphic computation systems: Theory and practice of confluence with call-by-value.

Makoto Hamana Tatsuya Abe Kentaro Kikuchi

Published in: Sci. Comput. Program. (2020)

Keyphrases

database
management system
distributed systems
formal languages
genetic algorithm
computer vision
clustering algorithm
digital libraries
expert systems
artificial neural networks
evolutionary algorithm
hidden markov models
intelligent systems
building blocks
computational model
theoretical insights