TeIL: a type-safe imperative tensor intermediate language.

Norman A. Rink Jerónimo Castrillón

Published in: ARRAY@PLDI (2019)

Keyphrases

strongly typed
higher order
programming language
high order
language learning
dimensionality reduction
type checking
genetic algorithm
artificial intelligence
database programming language
neural network
natural language
pairwise
language processing
specification language