Towards size-dependent types for array programming.

Troels Henriksen Martin Elsman

Published in: ARRAY@PLDI (2021)

Keyphrases

programming language
computational complexity
object oriented programming
real time
data sets
real world
hidden markov models
database management systems
memory requirements
computer programming