A linear type system for multicore programming in ATS.

Rui Shi Hongwei Xi

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

Keyphrases

programming language
real world
databases
information systems
neural network
information retrieval
genetic algorithm
multiscale
linear programming