Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.

Tiark Rompf Ingo Maier Martin Odersky

Published in: ICFP (2009)

Keyphrases

type checking
finite number
neural network
artificial intelligence
multi class classification
database
efficient implementation