A Translation of Intersection and Union Types for the λμ-Calculus.

Kentaro Kikuchi Takafumi Sakurai

Published in: APLAS (2014)

Keyphrases

computer vision
information retrieval
database systems
data structure
expressive power