A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers.

Hiroaki Inoue Atsushi Igarashi

Published in: APLAS (2015)

Keyphrases

middle layer
multi layer
multiple layers
data sets
databases
information retrieval
computational complexity
real world
search algorithm
single layer