Type directed compilation of row-typed algebraic effects.

Published in: POPL (2017)

Keyphrases

higher order
neural network
real world
wide range
artificial intelligence
three dimensional
digital libraries
fixed order