Parallel type-checking with haskell using saturating LVars and stream generators.

Ryan R. Newton Ömer S. Agacan Peter P. Fogg Sam Tobin-Hochstadt

Published in: PPOPP (2016)

Keyphrases

type checking
data streams
data types
programming language
sliding window
databases
general purpose
multi dimensional
query processor