Nested Session Types.

Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning

Published in: ESOP (2021)

Keyphrases

databases
genetic algorithm
image processing
case study
expert systems
evolutionary algorithm