Composing Bidirectional Programs Monadically.

Li-yao Xia Dominic Orchard Meng Wang

Published in: ESOP (2019)

Keyphrases

computer programs
databases
neural network
real time
machine learning
artificial intelligence
image processing
three dimensional
multiscale
multiresolution