Sign in

Non-Blocking Concurrent Imperative Programming with Session Types.

Miguel SilvaMário FloridoFrank 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