Login / Signup
Type directed compilation of row-typed algebraic effects.
Daan Leijen
Published in:
POPL (2017)
Keyphrases
</>
higher order
neural network
real world
wide range
artificial intelligence
three dimensional
digital libraries
fixed order