Interaction categories and the foundations of typed concurrent programming.

Samson Abramsky Simon J. Gay Rajagopal Nagarajan

Published in: NATO ASI DPD (1996)

Keyphrases

concurrent programming
artificial intelligence
programming language
higher order
user interaction
database
load balancing