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