Non-Blocking Concurrent Imperative Programming with Session Types.

Miguel Silva Mário Florido Frank Pfenning

Published in: LINEARITY (2016)

Keyphrases

programming language
neural network
computer science
record linkage
real time
real world
genetic algorithm
artificial intelligence
object oriented
general purpose
development environment
training sessions